The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase CLP(R) (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1987-1992 (15) 1993-1996 (21) 1997-2010 (15)
Publication types (Num. hits)
article(14) incollection(1) inproceedings(36)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18 occurrences of 13 keywords

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