Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
75 | Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap |
Optimizing Compilation of CLP(R). |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
source-to-source program transformation, compilation, program analysis, constraint logic programming, program optimization |
57 | Salvatore Ruggieri |
Termination of Constraint Logic Programs. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
47 | Yi Tao 0001, William I. Grosky, Chunnian Liu |
An Automatic Partial Deduction System for Constraint Logic Programs. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
partial deduction(partial evaluation), CLP(Bool), CLP(R), Prolog, constraint logic programming |
46 | Juhani Jaakola |
Modifying the Simplex Algorithm to a Constraint Solver. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
41 | Andreas Fordan, Roland H. C. Yap |
Early Projection in CLP(R). |
CP |
1998 |
DBLP DOI BibTeX RDF |
|
41 | Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap |
An Abstract Machine for CLP(R). |
PLDI |
1992 |
DBLP DOI BibTeX RDF |
Prolog |
36 | Peter Barth |
CLP(PB), A Meta-Interpreter in CLP(R). |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
36 | Bruno De Backer, Henri Beringer |
Intelligent Backtracking for CLP Languages: An Application to CLP(R). |
ISLP |
1991 |
DBLP BibTeX RDF |
|
34 | François Fages |
On the Semantics of Optimization Predicates in CLP Languages. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Ranga Vemuri, R. Kalyanaraman |
Generation of design verification tests from behavioral VHDL programs using path enumeration and constraint programming. |
IEEE Trans. Very Large Scale Integr. Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Neda Saeedloei, Gopal Gupta 0001 |
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Frédéric Mesnard, Alexander Serebrenik |
Recurrence with affine level mappings is P-time decidable for CLP(R). |
Theory Pract. Log. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Frédéric Mesnard, Alexander Serebrenik |
Recurrence with affine level mappings is P-time decidable for CLP(R) |
CoRR |
2007 |
DBLP BibTeX RDF |
|
18 | Claudio Vaucheret, Sergio Guadarrama, Susana Muñoz-Hernández |
Fuzzy Prolog: A Simple General Implementation Using CLP(R). |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
Fuzzy Prolog, Constraint Programming Application, Implementation of Fuzzy Prolog, Logic Programming, Modeling Uncertainty |
18 | Claudio Vaucheret, Sergio Guadarrama, Susana Muñoz-Hernández |
Fuzzy Prolog: A Simple General Implementation Using CLP(R). |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Fordan, Roland H. C. Yap |
Towards Early Projection in CLP(R). |
IJCSLP |
1998 |
DBLP BibTeX RDF |
|
18 | Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap |
Meta-Programming in CLP(R). |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Evan Tick |
Designing Financial Swaps with CLP(R). |
Appl. Artif. Intell. |
1996 |
DBLP BibTeX RDF |
|
18 | Jennifer Burg, Sheau-Dong Lang, Charles E. Hughes |
Intelligent Backtracking in CLP(R). |
Ann. Math. Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap |
Effectiveness of Optimizing Compilation for CLP(R). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
18 | Maria Handjieva |
STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation. |
SAS |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Luis Urbina |
Analysis of Hybrid Systems in CLP(R). |
CP |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Luis Urbina |
The Generalized Railroad Crossing: Its Symbolic Analysis in CLP(R). |
CP |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Florence Benoy, Andy King |
Inferring Argument Size Relationships with CLP(R). |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Michael Hanus |
Compile-time Analysis of Nonlinear Constraints in CLP(R). |
New Gener. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Pascal Van Hentenryck, Viswanath Ramachandran |
Backtracking without Trailing in CLP(R-lin) |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP BibTeX RDF |
|
18 | Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap |
An Optimizing Compiler for CLP(R). |
CP |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Gilles Pesant, Michel Boyer |
QUAD-CLP(R): Adding the Power of Quadratic Constraints. |
PPCP |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Jennifer Burg, Sheau-Dong Lang, Charles E. Hughes |
Finding Conflict Sets and Backtrack Points in CLP(R). |
ICLP |
1994 |
DBLP BibTeX RDF |
|
18 | Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap |
Projecting CLP (R) Constraints. |
New Gener. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap |
Redundancy of Variables in CLP (R). |
ILPS |
1993 |
DBLP BibTeX RDF |
|
18 | Michael Hanus |
Analysis of Nonlinear Constraints in CLP(R). |
ICLP |
1993 |
DBLP BibTeX RDF |
|
18 | Mario Lenz |
Anwendung von CLP(R) auf Neurocomputing. |
WLP |
1993 |
DBLP BibTeX RDF |
|
18 | Egon Börger, Rosario F. Salamone |
CLAM specification for provably correct compilation of CLP( R ) programs. |
Specification and validation methods |
1993 |
DBLP BibTeX RDF |
|
18 | Ta-Cheng Yu, Jie-Yong Juang |
A Method for Translating CLP (R) Rules into Objects. |
ICTAI |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Nevin Heintze, Spiro Michaylov, Peter J. Stuckey |
CLP(R) and Some Electrical Engineering Problems. |
J. Autom. Reason. |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap |
The CLP(R) Language and System. |
ACM Trans. Program. Lang. Syst. |
1992 |
DBLP BibTeX RDF |
|
18 | David S. Homiak |
A CLP(R) system for solving partial differential equations. |
SAC |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Jennifer Burg, Charles E. Hughes, Sheau-Dong Lang |
Parallel Execution of CLP-R Programs. |
IJCSLP Workshop on Concurrent and Parallel Implementations |
1992 |
DBLP BibTeX RDF |
|
18 | Niels Jørgensen, Kim Marriott, Spiro Michaylov |
Some Global Compile-Time Optimizations for CLP(R). |
ISLP |
1991 |
DBLP BibTeX RDF |
|
18 | Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap |
The CLP(R) language and system: an overview. |
Compcon |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Roland H. C. Yap |
Restriction Site Mapping in CLP(R). |
ICLP |
1991 |
DBLP BibTeX RDF |
|
18 | Igor Mozetic, Christian Holzbaur, Franc Novak, Marina Santo Zarnik |
Model-Based Analogue Circuit Diagnosis with CLP(R). |
Wissensbasierte Systeme |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Tien Huynh, Catherine Lassez |
A CLP(R) Options Trading Analysis System. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
18 | Nevin Heintze, Spiro Michaylov, Peter J. Stuckey |
CLP(R) and Some Electrical Engineering Problems. |
ICLP |
1987 |
DBLP BibTeX RDF |
|
11 | Salvatore Ruggieri, Fred Mesnard |
Variable ranges in linear constraints. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
parameterized polyhedra, interval arithmetic, constraint logic programming, linear constraints |
11 | Chong-Kan Chiu, Jimmy Ho-Man Lee |
Efficient Interval Linear Equality Solving in Constraint Logic Programming. |
Reliab. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Bharat Jayaraman, Pallavi Tambay |
Modeling Engineering Structures with Constrained Objects. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Kenny Qili Zhu, Wee-Yeh Tan, Andrew E. Santosa, Roland H. C. Yap |
Reactive Web Agents with Open Constraint Programming. |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
multi-agent systems, constraint programming, Web agents |
11 | Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens |
Global Analysis of Constraint Logic Programs. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
global program analysis, program analysis, abstract interpretation, constraint logic programming |
11 | Christoph Beierle, Egon Börger |
Correctness Proof For the WAM with Types. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|