Complutense Group on Program Analyis and Transformation
COSTA
University of Verona
Verona, ItaliaPublicaciones en colaboración con investigadores/as de University of Verona (3)
2005
-
Inferring termination conditions for logic programs using backwards analysis
Theory and Practice of Logic Programming, Vol. 5, Núm. 1-2, pp. 75-91
-
Information flow analysis for Java bytecode
Lecture Notes in Computer Science
2003
-
Goal-independent suspension analysis for logic programs with dynamic scheduling
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2618, pp. 84-98