Alejandro
López García
University of New Mexico
Albuquerque, Estados UnidosPublicacións en colaboración con investigadores/as de University of New Mexico (10)
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
-
Combining static analysis and profiling for estimating execution times
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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)
2006
-
Towards execution time estimation for logic programs via static analysis and profiling
Proceedings of the 16th Workshop on Logic-based methods in Programming Environments, WLPE 2006
-
Using combined static analysis and profiling for logic program execution time estimation
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
-
Determinacy analysis for logic programs using mode and type information
Lecture Notes in Computer Science
-
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
Science of Computer Programming
2004
-
Multivariant Non-failure Analysis via Standard Abstract Interpretation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2998, pp. 100-116
2003
-
Program development using abstract interpretation: (And the Ciao system preprocessor)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2694, pp. 127-152