Search results for "CLP(R)"

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