Manuel
Carro Liñares
Publicacions en què col·labora amb Manuel Carro Liñares (7)
2023
-
Types, Modes and so Much More – The Prolog Way
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 23-37
2012
-
An overview of Ciao and its design philosophy
Theory and Practice of Logic Programming, Vol. 12, Núm. 1-2, pp. 219-252
2008
-
An overview of the Ciao multiparadigm language and program development environment and its design philosophy
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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)
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)