A. Fernandez, T. Hortala-Gonzalez, F. Saenz-Perez  Home/Search
Context Related
| lcc.uma.es/~afdez/Papers/P...padl05.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lcc.uma.es/~afdez/Papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes a proposal to incorporate finite domain constraints in a functional logic system. The proposal integrates functions, higher-order patterns, partial applications, non-determinism, logical variables, currying, types, lazyness, domain variables, constraints and finite domain propagators. (Update)
Cited by: More
Toy(FD): Sketch of Operational Semantics - Fernandez, Hortala-Gonzalez.. (Correct)
Active bibliography (related documents): More All
0.3: A Constraint Functional Logic Language For Solving .. - Fernandez.. (2002) (Correct)
0.3: Global Constraints as Graph Properties on Structured Network of .. - Beldiceanu (2000) (Correct)
0.0: Efficient Integration of Declarative Paradigms into Symbolic.. - Georgios Grivas (1994) (Correct)
Similar documents based on text: More All
0.2: A Comparative Study of Eight Constraint Programming Languages .. - Fernandez, Hill (2000) (Correct)
0.2: RSDM System - Mar'ia Fern'andez-Baiz'an Cfbaizan (Correct)
0.2: Denotational Versus Declarative Semantics For.. - Moreno.. (1992) (Correct)
BibTeX entry: (Update)
A. J. Fern'andez, M. T. Hortal'a-Gonz'alez, and F. S'aenz-P'erez. Solving combinatorial problems with a constraint functional logic language. In P.Wadler and V. Dahl, editors, Practical Aspects of Declarative Languages (PADL'2003),number 2562 in LNCS, pages 320--338, New Orleans, Louisiana, USA, 2003. Springer-Verlag. http://citeseer.ist.psu.edu/fernandez03solving.html More
@misc{ fern'andez03solving,
author = "A. Fern'andez and M. Hortal'a-Gonz'alez and F. S'aenz-P'erez",
title = "Solving combinatorial problems with a constraint functional logic language",
text = "A. J. Fern'andez, M. T. Hortal'a-Gonz'alez, and F. S'aenz-P'erez. Solving
combinatorial problems with a constraint functional logic language. In P.Wadler
and V. Dahl, editors, Practical Aspects of Declarative Languages (PADL'2003),number
2562 in LNCS, pages 320--338, New Orleans, Louisiana, USA, 2003. Springer-Verlag.",
year = "2003",
url = "citeseer.ist.psu.edu/fernandez03solving.html" }
Citations (may not include all citations):373 Constraint logic programming: a survey - Jaffar, Maher - 1994
271 The Oz programming model - Smolka - 1995
218 Ampl: A modeling language for mathematical programming (context) - Fourer, Gay et al. - 1993
214 Constraint satisfaction in logic programming (context) - Van Hentenryck - 1989
73 The OPL optimization programming language (context) - Van Hentenryck - 1999
54 An open-ended finite domain constraint solver - Carlsson, Ottosson et al. - 1997
28 Compiling multi-paradigm declarative programs into prolog - Antoy, Hanus - 2000
14 The integration of functions into logic programming: A surve.. - Hanus - 1994
3 Channel Routing with Constraint Logic Programming and Delay - Zhou - 1996
2 Hortal'a-Gonz'alez (context) - Fern'andez - 2002
1 The Portland Aachen Kiel Curry System (context) - Hanus, Pakcs et al. - 2002
Documents on the same site (http://www.lcc.uma.es/~afdez/Papers/): More
Towards a glass-box typed CLP language - Fernández (Correct)
Foundations of Programming: a Teaching Improvement - Belmonte, Cotta, Fernández, .. (2001) (Correct)
Constraint Propagation on Multiple Domains - Fernández, Hill (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC