Joxan Jaffar, Spiro Michayov, Peter Stuckey, and Roland Yap. The CLP(R) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339--395, July 1992. 142 Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
On a Constraint System for Lattice (Interval) Domains - Fernández, Hill (2001) (Correct)
Generalized Semantics And Abstract Interpretation For.. - Giacobazzi, Debray, Levi (1995) (31 citations) (Correct)
Constraint Logic Programming over Unions of Constraint Theories - Tinelli, al. (1998) (7 citations) (Correct)
The LPSAT Engine & its Application to Resource Planning - Wolfman, Weld (1999) (4 citations) (Correct)
Combining Linear Programming and Satisfiability Solving for.. - Wolfman, Weld (2000) (4 citations) (Correct)
Hybrid Constraints for Regular Terms - Hougaard (Correct)
Analysis of Nonlinear Constraints in CLP(R) - Hanus (1993) (Correct)
An Impartial Efficiency Comparison of FD Constraint Systems - Fernández, Hill (1998) (Correct)
Constraint Logic Programming - Rossi (1999) (Correct)
Higher-Order Rewriting with Dependent Types - Virga (1999) (24 citations) (Correct)
Metamorphic Testing and Beyond - Chen, Kuo, Tse, Zhou (2004) (Correct)
A Constraint System for Lattice (Interval) Domains - Fernández, Hill (2001) (Correct)
A Comparative Study of Eight Constraint Programming Languages .. - Fernandez, Hill (2000) (Correct)
Description of the RACER System and its Applications - Haarslev, Möller (2001) (26 citations) (Correct)
Metamorphic Testing and Beyond - Chen, Kuo, Tse, Zhou (2004) (Correct)
Quantifier Elimination-Based Constraint Logic Programming - Thomas Sturm Fmi (Correct)
Oracle Semantics for Prolog - Roberto Barbuti Michael (1992) (9 citations) (Correct)
Finding Conflict Sets and Backtrack Points in CLP(
A Comparison of the Effectiveness of Optimizations - In Clp Compiler (1996) Self-citation (Stuckey Yap) (Correct)
Optimizing Compilation of Constraint Logic - Programming Languages Andrew (1996) Self-citation (Stuckey Yap) (Correct)
An Optimizing Compiler for CLP(R) - Andrew Kelly Andrew (1995) Self-citation (Stuckey Yap) (Correct)
Towards a glass-box typed CLP language - Fernández Self-citation (Language) (Correct)
J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 Theory and.. - Thom Fruhwirth.. Self-citation (Language) (Correct)
Towards a glass-box typed CLP language - Fernández Self-citation (Language) (Correct)
Improving Linear Constraint Propagation By Changing.. - Harvey, Stuckey (2002) (3 citations) Self-citation (Peter) (Correct)
First 50 documents Next 50
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