Rafael Caballero

Inf. Softw. Technol., 2021

2019

A core Erlang semantics for declarative debugging.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

2018

Declarative debugging of concurrent Erlang programs.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

2017

Anticipating anonymity in screening program databases.

[BibT_eX]

[DOI]

Sagar Sen

Jan Nygård

Int. J. Medical Informatics, 2017

A Survey of Algorithmic Debugging.

[BibT_eX]

[DOI]

Josep Silva

ACM Comput. Surv., 2017

2016

Debugging Meets Testing in Erlang.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 10th International Conference, 2016

2015

Two type extensions for the constraint modeling language MiniZinc.

[BibT_eX]

[DOI]

Peter J. Stuckey

Antonio Tenorio-Fornes

Sci. Comput. Program., 2015

A zoom-declarative debugger for sequential Erlang programs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Debugging of wrong and missing answers for datalog programs with constraint handling rules.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Checking Java Assertions Using Automated Test-Case Generation.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

A Transformation-based implementation for CLP with qualification and proximity.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

EDD: A Declarative Debugger for Sequential Erlang Programs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

A Declarative Debugger for Sequential Erlang Programs.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 7th International Conference, 2013

Finite type extensions in constraint programming.

[BibT_eX]

[DOI]

Peter J. Stuckey

Antonio Tenorio-Fornes

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

2012

Declarative debugging of rewriting logic specifications.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

Test-Case Generation for SQL Nested Queries with Existential Conditions.

[BibT_eX]

[DOI]

José Luzon-Martin

Antonio Tenorio-Fornes

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Declarative Debugging of Wrong and Missing Answers for SQL Views.

[BibT_eX]

[DOI]

Jesús Manuel Almendros-Jiménez

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011

XPath Query Processing in a Functional-Logic Language.

[BibT_eX]

[DOI]

Proceedings of the XI Spanish Conference on Programming and Languages, 2011

A Generic Scheme for Qualified Constraint Functional Logic Programming

[BibT_eX]

[DOI]

Jesús Manuel Almendros-Jiménez

CoRR, 2011

XQuery in the Functional-Logic Language Toy.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2011

A program transformation for returning states in functional-logic programs.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Integrating XPath with the Functional-Logic Language Toy.

[BibT_eX]

[DOI]

Jesús Manuel Almendros-Jiménez

Proceedings of the Practical Aspects of Declarative Languages, 2011

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

A Declarative Embedding of XQuery in a Functional-Logic Language.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

Algorithmic Debugging of SQL Views.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2011

A Deductive Database with Datalog and SQL Query Languages.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)

[BibT_eX]

[DOI]

John P. Gallagher

CoRR, 2010

Applying Constraint Logic Programming to SQL Test Case Generation.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

Qualified Computations in Functional Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

A Declarative Debugger for Maude Functional Modules.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

A Theoretical Framework for the Declarative Debugging of Datalog Programs.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

Similarity-based reasoning in qualified logic programming.

[BibT_eX]

[DOI]

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.

[BibT_eX]

[DOI]

Rafael del Vado Vírseda

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

Declarative Debugging of Membership Equational Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

A Declarative Debugger for Maude.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

A New Proposal for Debugging Datalog Programs.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, 2007

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming.

[BibT_eX]

[DOI]

Rafael del Vado Vírseda

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Algorithmic Debugging of Java Programs.

[BibT_eX]

[DOI]

Christian Hermanns

Herbert Kuchen

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

Implementing Dynamic-Cut in TOY.

[BibT_eX]

[DOI]

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.

[BibT_eX]

[DOI]

Rafael del Vado Vírseda

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

A declarative debugger of incorrect answers for constraint functional-logic programs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005

2004

DDT: a Declarative Debugging Tool for Functional-Logic Languages.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003

Improving Deterministic Computations in Lazy Functional Logic Languages.

[BibT_eX]

[DOI]

J. Funct. Log. Program., 2003

2002

Declarative Debugging for Encapsulated Search.

[BibT_eX]

[DOI]

Wolfgang Lux

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

Dynamic-Cut with Definitional Trees.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

2001

A Declarative Debugging System for Lazy Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001

Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

2000

A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program.

[BibT_eX]

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

1999

A Functional-Logic Perspective on Parsing.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

Extensions: A Technique for Structuring Functional-Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 1999

1998

Parsing with Non-Deterministic Functions.

[BibT_eX]