Maria Teresa Hortalá-González

Theory Pract. Log. Program., 2009

On the Cooperation of the Constraint Domains H, R and FD in CFLP

[BibT_eX]

[DOI]

CoRR, 2009

2008

Cooperation of constraint domains in the TOY system.

[BibT_eX]

[DOI]

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

2007

Constraint functional logic programming over finite domains.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2007

2006

A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme.

[BibT_eX]

[DOI]

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

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming.

[BibT_eX]

[DOI]

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

2005

Programming with TOY(FD).

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

2003

Solving Combinatorial Problems with a Constraint Functional Logic Language.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

Toy(FD): Sketch of Operational Semantics.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

A Functional Logic Language with Finite Domain Constraints.

[BibT_eX]

[DOI]

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001

Polymorphic Types in Functional Logic Programming.

[BibT_eX]

J. Funct. Log. Program., 2001

An Abstract Machine Based System for a Lazy Narrowing Calculus.

[BibT_eX]

[DOI]

Eva Ullán

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

2000

An abstract machine based experimental system for a lazy narrowing calculus.

[BibT_eX]

Eva Ullán

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

1999

An Approach to Declarative Programming Based on a Rewriting Logic.

[BibT_eX]

[DOI]

Francisco Javier López-Fraguas

J. Log. Program., 1999

Semantics and Types in Functional Logic Programming.

[BibT_eX]

[DOI]

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

1997

A Higher Order Rewriting Logic for Functional Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1997

1996

A Rewriting Logic for Declarative Programming.

[BibT_eX]

[DOI]

Francisco Javier López-Fraguas

Proceedings of the Programming Languages and Systems, 1996

Real Constraints within a Functional Logic Language.

[BibT_eX]

Puri Arenas-Sánchez

Francisco Javier López-Fraguas

Eva Ullán

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1992

On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 6th Workshop, 1992

1991

Denotational Versus Declarative Semantics for Functional Programming.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 5th Workshop, 1991

1989

Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1989

1988

Some General Incompleteness Results for Partial Correctness Logics

[BibT_eX]

[DOI]

Francisca Lucio-Carrasco

Inf. Comput., October, 1988

1985

Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem.

[BibT_eX]

[DOI]