Alejandro
López García
Utrecht University
Utrecht, HolandaPublications in collaboration with researchers from Utrecht University (2)
2024
2014
-
Resource usage analysis of logic programs via abstract interpretation using sized types
Theory and Practice of Logic Programming