Jaime Sánchez-Hernández

Miguel Garrido

Javier Sagredo

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2020

HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems.

[BibT_eX]

[DOI]

Inf. Comput., 2020

White-Box Path Generation in Recursive Programs.

[BibT_eX]

[DOI]

Ricardo Peña

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

2015

A Generic Intermediate Representation for Verification Condition Generation.

[BibT_eX]

[DOI]

Manuel Montenegro

Ricardo Peña

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

2014

Rewriting and narrowing for constructor systems with call-time choice semantics.

[BibT_eX]

[DOI]

Enrique Martin-Martin

Theory Pract. Log. Program., 2014

An extended constraint deductive database: Theory and implementation.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2014

2013

Formalizing a Broader Recursion Coverage in SQL.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2013

Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2013, 2013

2009

A Lightweight Combination of Semantics for Non-deterministic Functions

[BibT_eX]

[DOI]

CoRR, 2009

A Fully Abstract Semantics for Constructor Systems.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas.

[BibT_eX]

[DOI]

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

A flexible framework for programming with non-deterministicfunctions.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

2008

Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.

[BibT_eX]

[DOI]

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

Rewriting and Call-Time Choice: The HO Case.

[BibT_eX]

[DOI]

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

2007

Functions and Lazy Evaluation in Prolog.

[BibT_eX]

[DOI]

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics.

[BibT_eX]

[DOI]

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

A simple rewrite notion for call-time choice semantics.

[BibT_eX]

[DOI]

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

2006

Constructive Failure in Functional-Logic Programming: From Theory to Implementation.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2006

Equivalence of Two Formal Semantics for Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

2004

A Proof Theoretic Approach to Failure in Functional Logic Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2004

2003

Failure and equality in functional logic programming.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003

2002

Narrowing Failure in Functional Logic Programming.

[BibT_eX]

[DOI]

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

2001

Functional Logic Programming with Failure: A Set-Oriented View.

[BibT_eX]

[DOI]

Jesús Manuel Almendros-Jiménez

Proceedings of the Logic for Programming, 2001

A Computational Model for Functional Logic Deductive Databases.

[BibT_eX]

[DOI]

Antonio Becerra-Terón

Proceedings of the Logic Programming, 17th International Conference, 2001

2000

Proving Failure in Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

1999

<i>TOY</i>: A Multiparadigm Declarative System.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

Disequalities May Help to Narrow.

[BibT_eX]