| Publication | Date of Publication | Type |
|---|
Optimized algorithms for incremental analysis of logic programs
Static Analysis | 2022-02-16 | Paper |
Quantified abstract configurations of distributed systems
Formal Aspects of Computing | 2015-09-03 | Paper |
A multi-domain incremental analysis engine and its application to incremental resource analysis
Theoretical Computer Science | 2015-05-26 | Paper |
Oracle-based partial evaluation
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
A study on the practicality of poly-controlled partial evaluation
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Certificate size reduction in abstraction-carrying code
Theory and Practice of Logic Programming | 2012-08-30 | Paper |
An overview of Ciao and its design philosophy
Theory and Practice of Logic Programming | 2012-06-25 | Paper |
Automatic inference of resource consumption bounds
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
Cost analysis of object-oriented bytecode programs
Theoretical Computer Science | 2012-03-13 | Paper |
Efficient local unfolding with ancestor stacks
Theory and Practice of Logic Programming | 2011-08-17 | Paper |
Closed-form upper bounds in static cost analysis
Journal of Automated Reasoning | 2011-04-05 | Paper |
From object fields to local variables: a practical approach to field-sensitive analysis
Static Analysis | 2010-10-01 | Paper |
Comparing cost functions in resource analysis
Foundational and Practical Aspects of Resource Analysis | 2010-09-14 | Paper |
Type-based homeomorphic embedding for online termination
Information Processing Letters | 2010-08-20 | Paper |
Test case generation for object-oriented imperative languages in CLP
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Test Data Generation of Bytecode by CLP Partial Evaluation
Logic-Based Program Synthesis and Transformation | 2009-03-24 | Paper |
Abstract Interpretation with Specialized Definitions
Static Analysis | 2009-03-12 | Paper |
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation
Logic-Based Program Synthesis and Transformation | 2009-01-22 | Paper |
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
Logic Based Program Synthesis and Transformation | 2009-01-15 | Paper |
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs
Logic Based Program Synthesis and Transformation | 2009-01-15 | Paper |
Converting One Type-Based Abstract Domain to Another
Logic Based Program Synthesis and Transformation | 2009-01-15 | Paper |
Abstraction-carrying code: a model for mobile code safety
New Generation Computing | 2008-10-20 | Paper |
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
Static Analysis | 2008-08-28 | Paper |
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Context-Sensitive Multivariant Assertion Checking in Modular Programs
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
An Incremental Approach to Abstraction-Carrying Code
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Efficient Local Unfolding with Ancestor Stacks for Full Prolog
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
Reduced Certificates for Abstraction-Carrying Code
Logic Programming | 2008-03-11 | Paper |
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation
Logic Programming | 2008-03-11 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
Science of Computer Programming | 2005-10-10 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Euro-Par 2004 Parallel Processing
Lecture Notes in Computer Science | 2005-08-23 | 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 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 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 |
scientific article; zbMATH DE number 1497828 (Why is no real title available?)
| 2001-03-05 | Paper |
Abstract multiple specialization and its application to program parallelization
The Journal of Logic Programming | 2000-02-06 | Paper |
