Alejandro
López García
Utrecht University
Utrecht, HolandaPublikationen in Zusammenarbeit mit Forschern von Utrecht University (2)
2024
2014
-
Resource usage analysis of logic programs via abstract interpretation using sized types
Theory and Practice of Logic Programming