Complutense Group on Program Analyis and Transformation
COSTA
University of Kent
Canterbury, Reino UnidoPublicaciones en colaboración con investigadores/as de University of Kent (3)
2008
-
Inferring non-suspension conditions for logic programs with dynamic scheduling
ACM Transactions on Computational Logic, Vol. 9, Núm. 3
2006
-
Detecting determinacy in prolog programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2001
-
Worst-case groundness analysis using definite Boolean functions
Theory and Practice of Logic Programming, Vol. 1, Núm. 5, pp. 611-615