Alejandro
López García
Utrecht University
Utrecht, HolandaPublicacions en col·laboració amb investigadors/es de Utrecht University (2)
2024
2014
-
Resource usage analysis of logic programs via abstract interpretation using sized types
Theory and Practice of Logic Programming