Antonio Fernández  Home/Search
Context
Related
| lcc.uma.es/~afdez/...abstractaisb97.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: lcc.uma.es/~afdez/Papers/ (more) Homepages: A.Fernandez |
Rate this article:      (best)Comment on this article |
Abstract: Constraint Logic Programming (CLP) merges two declarative paradigms: constraint solving and logic programming. This combination increases the efficiency of logical programming languages and, in some cases, makes programs more expressive than other kinds of programs. CLP has progressed in several quite different directions such as parallelism, concurrency, development of satisfiable algorithms in various domains, program verification, etc, and constraints have also been embedded in a number of... (Update)
Active bibliography (related documents): More All
0.7: Towards a glass-box typed CLP language - Fernández (Correct)
0.3: A Type Classes System for Logic Programming - Fernández (Correct)
0.3: Declarative Interface for Constraint Solving - Hill (Correct)
Similar documents based on text: More All
0.6: On a Constraint System for Lattice (Interval) Domains - Fernández, Hill (2001) (Correct)
0.6: Boolean and Finite Domain Solvers Compared using Self.. - Fernández, Hill (Correct)
0.5: An Impartial Efficiency Comparison of FD Constraint Systems - Fernández, Hill (1998) (Correct)
BibTeX entry: (Update)
@misc{ fernandez-towards,
author = "Antonio Fern\'andez",
title = "Towards a glass-box typed {CLP} language",
url = "citeseer.ist.psu.edu/707560.html" }
Citations (may not include all citations):214 Constraint Satisfaction in Logic Programming (context) - Van HENTENRYCK - 1989
179 The Godel Programming Language (context) - HILL, LLOYD - 1994
134 ACM transactions on Programming Languages and Systems (context) - MICHAYLOV, STUCKEY et al. - 1992
85 Compiling Constraints in clp (context) - CODOGNET, DIAZ - 1996
82 Constraint Logic Programming Languages (context) - COHEN - 1990
25 Constraint handling rules - UHWIRTH - 1994
18 The Type System of a Higher-Order Logic Programming Language - NADATHUR, PFENNING - 1992
7 in Logic Programming, Logic Programming Series (context) - PFENNING - 1992
7 A Parameterised Module System for Constructing Types Logic P.. - HILL - 1993
3 Finite Domain solvers compared using Self-Referential Quizze.. (context) - ANDEZ, HILL - 1997
Documents on the same site (http://www.lcc.uma.es/~afdez/Papers/): More
Foundations of Programming: a Teaching Improvement - Belmonte, Cotta, Fernández, .. (2001) (Correct)
Constraint Propagation on Multiple Domains - Fernández, Hill (Correct)
A Comparative Study of Eight Constraint Programming Languages .. - Fernandez, Hill (2000) (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