Semantic foundations of concurrent constraint programming (1990)

by Vijay A. Saraswat, et al.
Citations:252 - 26 self

Documents Related by Co-Citation

786 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
191 Concurrent Constraint Programming Languages – V A Saraswat - 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
1000 Consistency in networks of relations – A K Mackworth - 1977
292 An Introduction to Prolog III – A Colmerauer - 1990
303 The CLP(R) language and system – Joxan Jaffar, Spiro Michaylov, Peter J Stuckey, Roland H C Yap - 1992
385 Constraint Satisfaction in Logic Programming – P Van Hentenryck - 1989
424 Networks of constraints: Fundamental properties and applications to picture processing – U Montanari - 1974
196 The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory – A Borning - 1981
78 Methodology and implementation of a CLP system – J Jaffar, S Michaylov - 1987
129 Logic semantics for a class of committed-choice programs – Michael J Maher - 1987
522 Sketchpad: A man-machine graphical communication system – Ivan Edward Sutherland - 2003
260 Domains for denotational semantics – D S SCOTT - 1982
133 Introduction to Constraint Logic Programming – K Marriott, P J Stuckey - 1998
145 Generating semantic descriptions from drawings of scenes with shadows – D A Waltz - 1975
269 The family of concurrent logic programming languages – E Shapiro - 1989
23 Constraint Technology for User-Interface Construction – J H Maloney, A Borning, B N Freeman-Benson - 1989
113 An incremental constraint solver – B N Freeman-Benson, J Maloney, A Borning - 1990