| Publication | Date of Publication | Type |
|---|
| Regular path clauses and their application in solving loops | 2024-12-03 | Paper |
Parallel Logic Programming: A Sequel
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
Analysis and Transformation of Constrained Horn Clauses for Program Verification
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
Multivariant assertion-based guidance in abstract interpretation
Logic-Based Program Synthesis and Transformation | 2023-11-09 | Paper |
Multivariant assertion-based guidance in abstract interpretation
Logic-Based Program Synthesis and Transformation | 2023-11-09 | Paper |
Computing abstract distances in logic programs
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
Computing abstract distances in logic programs
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
Incremental analysis of logic programs with assertions and open predicates
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
An integrated approach to assertion-based random testing in Prolog
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
A general framework for static cost analysis of parallel logic programs
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
A general framework for static cost analysis of parallel logic programs
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
| Testing your (static analysis) truths | 2022-03-23 | Paper |
Optimized algorithms for incremental analysis of logic programs
Static Analysis | 2022-02-16 | Paper |
| scientific article; zbMATH DE number 7453190 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453190 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
Incremental and modular context-sensitive analysis
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks
(available as arXiv preprint) | 2018-09-06 | Paper |
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 |
Practical run-time checking via unobtrusive property caching
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
A general framework for static profiling of parametric resource usage
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Description and optimization of abstract machines in a dialect of Prolog
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Semantic code browsing
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
A transformational approach to parametric accumulated-cost static profiling
Functional and Logic Programming | 2016-04-04 | Paper |
Pre-indexed Terms for Prolog
Logic-Based Program Synthesis and Transformation | 2015-10-02 | Paper |
Some challenges for constraint programming
Constraints | 2015-06-15 | Paper |
A sharing-based approach to supporting adaptation in service compositions
Computing | 2015-01-26 | Paper |
Modular extensions for modular (logic) languages
Logic-Based Program Synthesis and Transformation | 2013-03-13 | Paper |
Lightweight compilation of (C)LP to JavaScript
Theory and Practice of Logic Programming | 2013-03-13 | Paper |
Interval-based resource usage verification: formalization and prototype
Foundational and Practical Aspects of Resource Analysis | 2012-11-02 | 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 |
Lock-free parallel dynamic programming
Journal of Parallel and Distributed Computing | 2012-03-07 | Paper |
Efficient local unfolding with ancestor stacks
Theory and Practice of Logic Programming | 2011-08-17 | Paper |
Parallel backtracking with answer memoing for independent and-parallelism
Theory and Practice of Logic Programming | 2011-08-16 | Paper |
Efficient negation using abstract interpretation
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
New Generation Computing | 2010-06-29 | Paper |
Program parallelization using synchronized pipelining
Logic-Based Program Synthesis and Transformation | 2010-05-04 | Paper |
Non-strict independence-based program parallelization using sharing and freeness information
Theoretical Computer Science | 2009-11-04 | Paper |
Abstract Interpretation with Specialized Definitions
Static Analysis | 2009-03-12 | Paper |
Automatic Binding-Related Error Diagnosis in Logic Programs
Logic Programming | 2009-03-05 | Paper |
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
Logic-Based Program Synthesis and Transformation | 2009-01-22 | Paper |
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
Logic-Based Program Synthesis and Transformation | 2009-01-22 | Paper |
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
Logic Programming | 2009-01-22 | Paper |
Negative Ternary Set-Sharing
Logic Programming | 2009-01-22 | Paper |
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs
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 |
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 |
Determinacy Analysis for Logic Programs Using Mode and Type Information
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
Efficient Local Unfolding with Ancestor Stacks for Full Prolog
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
Precise Set Sharing Analysis for Java-Style Programs
Lecture Notes in Computer Science | 2008-04-04 | 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 |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Towards Description and Optimization of Abstract Machines in an Extension of Prolog
Logic-Based Program Synthesis and Transformation | 2007-09-10 | Paper |
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
Functional and Logic Programming | 2007-05-02 | 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 |
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
Lecture Notes in Computer Science | 2005-08-17 | 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 2013195 (Why is no real title available?) | 2003-12-04 | 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 1760134 (Why is no real title available?) | 2002-11-06 | Paper |
| scientific article; zbMATH DE number 1759708 (Why is no real title available?) | 2002-08-06 | Paper |
| scientific article; zbMATH DE number 1761891 (Why is no real title available?) | 2002-07-01 | Paper |
| scientific article; zbMATH DE number 1759985 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1368925 (Why is no real title available?) | 2002-02-17 | Paper |
| scientific article; zbMATH DE number 1696792 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1696873 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1615263 (Why is no real title available?) | 2001-07-08 | Paper |
| scientific article; zbMATH DE number 1497832 (Why is no real title available?) | 2001-03-06 | Paper |
| scientific article; zbMATH DE number 1497834 (Why is no real title available?) | 2001-03-06 | Paper |
| scientific article; zbMATH DE number 1497828 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1497843 (Why is no real title available?) | 2001-03-05 | Paper |
Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming
Parallel Computing | 2000-10-26 | Paper |
Abstract multiple specialization and its application to program parallelization
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 |
Exploiting goal independence in the analysis of logic programs
The Journal of Logic Programming | 1998-03-16 | Paper |
Partial order and contextual net semantics for atomic and locally atomic CC programs
Science of Computer Programming | 1998-02-25 | Paper |
A methodology for granularity-based control of parallelism in logic programs
Journal of Symbolic Computation | 1997-10-22 | Paper |
Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions
The Journal of Logic Programming | 1995-04-06 | Paper |
Compile-time derivation of variable dependency using abstract interpretation
The Journal of Logic Programming | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 3965423 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3965422 (Why is no real title available?) | 1986-01-01 | Paper |
