| Publication | Date of Publication | Type |
|---|
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
Theory and Practice of Logic Programming | 2018-05-31 | Paper |
Interval-based resource usage verification: formalization and prototype
Foundational and Practical Aspects of Resource Analysis | 2012-11-02 | Paper |
An overview of Ciao and its design philosophy
Theory and Practice of Logic Programming | 2012-06-25 | Paper |
| A framework for verification and debugging of resource usage properties: resource usage verification | 2012-05-11 | Paper |
Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
New Generation Computing | 2010-06-29 | Paper |
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Determinacy Analysis for Logic Programs Using Mode and Type Information
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
Science of Computer Programming | 2005-10-10 | Paper |
| scientific article; zbMATH DE number 2090844 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 2086611 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2085218 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1975609 (Why is no real title available?) | 2003-09-07 | Paper |
| scientific article; zbMATH DE number 1973219 (Why is no real title available?) | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1948391 (Why is no real title available?) | 2003-07-13 | Paper |
| scientific article; zbMATH DE number 1761891 (Why is no real title available?) | 2002-07-01 | Paper |
| scientific article; zbMATH DE number 1368925 (Why is no real title available?) | 2002-02-17 | Paper |
| scientific article; zbMATH DE number 1615263 (Why is no real title available?) | 2001-07-08 | Paper |
An algebraic approach to sharing analysis of logic programs
The Journal of Logic Programming | 2000-02-06 | Paper |
Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
The Journal of Logic Programming | 1999-07-20 | Paper |
Partial order and contextual net semantics for atomic and locally atomic CC programs
Science of Computer Programming | 1998-02-25 | Paper |
