Applied Mechanics
Universidad Complutense de Madrid
Madrid, EspañaPublications in collaboration with researchers from Universidad Complutense de Madrid (7)
2012
-
An overview of Ciao and its design philosophy
Theory and Practice of Logic Programming, Vol. 12, Núm. 1-2, pp. 219-252
2011
-
Profiling for run-time checking of computational properties and performance debugging in logic programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009
-
Integrating software testing and run-time checking in an assertion verification framework
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008
-
Towards execution time estimation in abstract machine-based languages
PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
2007
-
User-definable resource bounds analysis for logic programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2005
-
Abstraction carrying code and resource-awareness
PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
2004
-
Some techniques for automated, resource-aware distributed and mobile computing in a multi-paradigm programming system
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3149, pp. 21-36