Complutense Group on Program Analyis and Transformation
COSTA
KU Leuven
Lovaina, BélgicaPublicacións en colaboración con investigadores/as de KU Leuven (3)
2012
-
The ABS tool suite: Modelling, executing and analysing distributed adaptable object-oriented systems
International Journal on Software Tools for Technology Transfer, Vol. 14, Núm. 5, pp. 567-588
2007
-
Termination analysis of logic programs through combination of type-based norms
ACM Transactions on Programming Languages and Systems, Vol. 29, Núm. 2
2002
-
Reuse of results in termination analysis of typed logic programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)