Francisco José
Bueno Carrillo
Publicaciones en las que colabora con Francisco José Bueno Carrillo (11)
2018
-
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
Theory and Practice of Logic Programming, Vol. 18, Núm. 2, pp. 167-223
2012
-
An overview of Ciao and its design philosophy
Theory and Practice of Logic Programming, Vol. 12, Núm. 1-2, pp. 219-252
-
Interval-based resource usage verification: Formalization and prototype
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
-
A framework for verification and debugging of resource usage properties resource usage verification
Leibniz International Proceedings in Informatics, LIPIcs
-
Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
New Generation Computing
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)
2005
-
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
-
Abstract verification and debugging of constraint logic programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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