The Semantics Of Constraint Logic Programs (1996)

Cached

Download Links

by Joxan Jaffar , Michael Maher , Kim Marriott , Peter Stuckey
Venue:JOURNAL OF LOGIC PROGRAMMING
Citations:784 - 13 self

Documents Related by Co-Citation

292 An Introduction to Prolog III – A Colmerauer - 1990
191 Concurrent Constraint Programming Languages – V A Saraswat - 1989
1000 Consistency in networks of relations – A K Mackworth - 1977
129 Logic semantics for a class of committed-choice programs – Michael J Maher - 1987
385 Constraint Satisfaction in Logic Programming – P Van Hentenryck - 1989
442 Concurrent Constraint Programming – Vijay A. Saraswat, Martin Rinard - 1993
254 The constraint logic programming language CHIP – M Dincbas, P Van Hentenryck, H Simonis, A Aggoun, T Graf, F Berthier - 1988
303 The CLP(R) language and system – Joxan Jaffar, Spiro Michaylov, Peter J Stuckey, Roland H C Yap - 1992
133 Introduction to Constraint Logic Programming – K Marriott, P J Stuckey - 1998
146 LOGIN: A Logic Programming Language with Built-in Inheritance – H Ait-Kaci, R Nasr - 1986
35 Overview of the CHIP compiler system – A Aggoun, N Beldiceanu - 1991
39 Strand: new concepts in parallel programming,” Prentice-Hall – Ian Foster, Stephen Taylor - 1990
260 Domains for denotational semantics – D S SCOTT - 1982
259 Semantic foundations of concurrent constraint programming – Vijay A. Saraswat, et al. - 1990
291 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
424 Networks of constraints: Fundamental properties and applications to picture processing – U Montanari - 1974
45 A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially-Ordered Type Structures – H Ait-Kaci - 1984
72 A Feature Logic with Subsorts – Gert Smolka - 1992
6 Reactive behavior semantics for concurrent constraint logic programs – Haim Gaifman, Michael J Maher, Ehud Shapiro - 1989