Publicacións nas que colabora con Francisco José Bueno Carrillo (11)

2018

  1. 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

  1. An overview of Ciao and its design philosophy

    Theory and Practice of Logic Programming, Vol. 12, Núm. 1-2, pp. 219-252

  2. 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

  1. A framework for verification and debugging of resource usage properties resource usage verification

    Leibniz International Proceedings in Informatics, LIPIcs

  2. Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses

    New Generation Computing

2008

  1. 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

  1. Determinacy analysis for logic programs using mode and type information

    Lecture Notes in Computer Science

  2. Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

    Science of Computer Programming

2004

  1. 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

  1. 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)

  2. 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