| Publication | Date of Publication | Type |
|---|
Anti-unification of unordered goals
(available as arXiv preprint) | 2024-04-10 | Paper |
Generalization-Driven Semantic Clone Detection in CLP
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
An SMT-based concolic testing tool for logic programs
(available as arXiv preprint) | 2021-07-06 | Paper |
Anti-unification in constraint logic programming
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
Semantic code clones in logic programs
Logic-Based Program Synthesis and Transformation | 2013-09-13 | Paper |
Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension
Proceedings of the American Mathematical Society | 2013-09-02 | Paper |
Clones in logic programs and how to detect them
Logic-Based Program Synthesis and Transformation | 2013-03-13 | Paper |
Binding-Time Annotations without Binding-Time Analysis
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
A fixed point semantics for logic programs extended with cuts
Logic Based Program Synthesis and Transformation | 2011-03-04 | Paper |
Towards a framework for constraint-based test case generation
Logic-Based Program Synthesis and Transformation | 2010-05-04 | Paper |
Automatic Generation of Test Inputs for Mercury
Logic-Based Program Synthesis and Transformation | 2009-03-24 | Paper |
Towards a Normal Form for Mercury Programs
Logic-Based Program Synthesis and Transformation | 2009-01-22 | Paper |
Searching Semantically Equivalent Code Fragments in Logic Programs
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Offline specialisation in Prolog using a hand-written compiler generator
Theory and Practice of Logic Programming | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2090120 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2084361 (Why is no real title available?) | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 1948414 (Why is no real title available?) | 2003-07-13 | Paper |
| scientific article; zbMATH DE number 1696778 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1497826 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1508931 (Why is no real title available?) | 2000-09-18 | Paper |
| scientific article; zbMATH DE number 1420816 (Why is no real title available?) | 2000-03-22 | Paper |
| scientific article; zbMATH DE number 1222414 (Why is no real title available?) | 1998-11-11 | Paper |
