Complutense Group on Program Analyis and Transformation
COSTA
University of Melbourne
Melbourne, AustraliaPublicaciones en colaboración con investigadores/as de University of Melbourne (6)
2017
-
Context-sensitive dynamic partial order reduction
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
A CLP heap solver for test case generation
Theory and Practice of Logic Programming
2009
-
A declarative encoding of telecommunications feature subscription in SAT
PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
2004
-
A generic framework for context-sensitive analysis of modular programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3049, pp. 233-260
2002
-
Combining norms to prove termination
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2001
-
Higher-precision groundness analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)