The semantic foundations of concurrent constraint programming

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The semantic foundations of concurrent constraint programming

Full text

Pdf (2.33 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

Orlando, Florida, United States

Pages: 333 - 352

Year of Publication: 1991

ISBN:0-89791-419-8

Authors

Vijay A. Saraswat	Xerox PARC
Martin Rinard	Stanford University
Prakash Panangaden	McGill University

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 66, Citation Count: 52

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/99583.99627 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	ANP89	Arvind , Rishiyur S. Nikhil , Keshav K. Pingali, I-structures: data structures for parallel computing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.4, p.598-632, Oct. 1989 [doi>10.1145/69558.69562]
	BB90	Gerard Berry , Gerard Boudol, The chemical abstract machine, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.81-94, December 1989, San Francisco, California, United States [doi>10.1145/96709.96717]
	CM88	K. Mani Chandy, Parallel program design: a foundation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
	dBP90a	F.S. de Boer and C. Palamidessi. A fully abstract model for concurrent constraint logic lant~ua~es. In Proceedings of CONCUR '90, 1990.
	dBP90b	Frank S. de Boer , Catuscia Palamidessi, A fully abstract model for concurrent constraint programming, Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1, p.296-319, April 1991, Brighton, United Kingdom
	DL86	Doug DeGroot , Gary Lindstrom, Logic programming: functions, relations, and equations, Prentice-Hall, Inc., Upper Saddle River, NJ, 1986
	FT89	Ian Foster , Stephen Taylor, Strand: new concepts in parallel programming, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
	GCLS88	Rob Gerth, Mike Codish, Yossi Lichtenstein, and Ehud Shapiro. A fully abstract denotational semantics for Flat Concurrent Prolog. In LICS 88, 1988.
	Gir87	Jean-Yves Girard, Linear logic, Theoretical Computer Science, v.50 n.1, p.1-102, Jan. 30, 1987 [doi>10.1016/0304-3975(87)90045-4]
	Gir89	Jean-Yves Girard , Paul Taylor , Yves Lafont, Proofs and types, Cambridge University Press, New York, NY, 1989
	GKK+80	G.Gierz, K.H.Hoffman, K.Keimel, 3.D.Lawson, M.Mislove, and D.S.Scott, editors. A compendium of continuous lattices. Springer-Verlag Berlin Heidelberg New York, 1980.
	GL90	M. Gabbrielli and G. Levi. Unfolding and fixpoint semantics of concurrent constraint logic programs. Technical report, University of Pisa, 1990.
	GMS89	Haim Gaifman, Michael J. Maher, and Ehud Shapiro. Reactive behavior semantics for concurrent constraint logic programs. In North American Logic Programming Conference. MIT Press, October t 989.
	HMT71	Leon Henldn, J. Donald Monk, and Alfred Tarsld. Cylindric Algebras (Part I). North Holland Publishing Company, 1971.
	Hoa89	C.A.R. Hoare. A theory of conjunction and concurrency. Oxford PRG, May 1989.
	Hoa90	C. A. R. Hoare, Let's make models, Proceedings on Theories of concurrency : unification and extension: unification and extension, p.32, September 1990, Amsterdam, The Netherlands
	JL87	J. Jaffar , J.-L. Lassez, Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.111-119, January 21-23, 1987, Munich, West Germany [doi>10.1145/41625.41635]
	Jos90	Mark B. Josephs. Receptive process theory. Technical report, Programming Research Group, Oxford University, July 1990.
	JP90	R. Jagadeesan , Prakash Panangaden, A domain-theoretic model for a higher-order process calculus, Proceedings of the seventeenth international colloquium on Automata, languages and programming, p.181-194, July 1990, Warwick University, England
	JPP89	R. Jagadeesan , P. Panangaden , K. Pingali, A fully abstract semantics for a functional language with logic variables, Proceedings of the Fourth Annual Symposium on Logic in computer science, p.294-303, June 1989, Pacific Grove, California, United States
	Kah74	G. Kahn. The semantics of a simple language for parallel programming. In J.L. Rosenfeld, editor, Proceeedings of IFIP Congress 74, pages 471- 475., August 1974.
	KYSK88	S. Kliger, E. Yardeni, E. Shapiro, and K. Kahn. The language fcp(:,?). In Conference on Fifth Generation Computer Systems, December 1988.
	Lev88	Giorgio Levi. Models, unfolding rules and fixpoint semantics. In Proceeedings of the Fifth International Conference and Symposium on Logic Programming, Seattle, pages 1649-1665, August 1988.
	Lin85	Gary Lindstrom, Functional programing and the logical variable, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.266-280, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318657]
	LS86	J. Lambek , P. J. Scott, Introduction to higher order categorical logic, Cambridge University Press, New York, NY, 1986
	Mah87	Michael Maher. Logic semantics for a cla.ss of committed-choice programs. In .~th International Conference on Logic Programming. MIT Press, May 1987.
	Mil90	Robin Milner, Functions as processes, Proceedings of the seventeenth international colloquium on Automata, languages and programming, p.167-180, July 1990, Warwick University, England
	MPW89	R. Mflner, J. G. Parrow, and D. J. Walker. A calculus for mobile processes. LFCS Report ECS- LFCS-89-85, University of Edinburgh, 1989.
	MR97	M. Makkai and G. Reyes. First order categorical logic, volume 611 of Lecture Notes in Mathematics. Springer-Verlag, 197.
	OH86	E R Olderog , C A R Hoare, Specification-oriented semantics for communicating processes, Acta Informatica, v.23 n.1, p.9-66, April 1986 [doi>10.1007/BF00268075]
	Plo76	G.D. Plotkin. A powerdomain construction. SIAM J. of Computing, 5(3):452-487, September 1976.
	Ros88	A.W. Roscoe. An alternative order for the failures model. Technical Report Technical Monograph PRG-67, Programming Research Group, Oxford University, July 1988.
	Sar85	Vijay A. Saraswat, Partial correctness semantics for CP [ , \| , &], Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science, p.347-368, December 16-18, 1985
	Sar88	Vijay A. Saraswat. A somewhat logical formulation of CLP synchronization primitives. In Proceedings of LP 88. MIT Press, August 1988.
	Sar89	Vijay Anand Saraswat , Dana S. Scott, Concurrent constraint programming languages, 1989
	Sco76	Dana S. Scott. Data types as lattices. SIAM, 5(3):522-587, 1976.
	Sco82	Dana S. Scott, Domains for Denotational Semantics, Proceedings of the 9th Colloquium on Automata, Languages and Programming, p.577-613, July 12-16, 1982
	SKL90	Vijay A. Saraswat , Ken Kahn , Jacob Levy, Janus: a step towards distributed constraint programming, Proceedings of the 1990 North American conference on Logic programming, p.431-446, January 1990, Austin, Texas, United States
	SPRng	Vijay A. Saraswat, Prakash Panang~den, and Martin Rinard. What is a constraint? Technical report, Xerox PARC, forthcoming.
	SR90	Vijay A. Saraswat , Martin Rinard, Concurrent constraint programming, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.232-245, December 1989, San Francisco, California, United States [doi>10.1145/96709.96733]
	Tar56	A. Tarski. Logics, semantics and metamathematics. Oxford University Press, 1956. Translated by J.H. Woodger.

CITED BY 52

	Rogier M. Van Eijk , Frank S. De Boer , Wiebe Van Der Hoek , John-Jules Ch. Meyer, A Verification Framework for Agent Communication, Autonomous Agents and Multi-Agent Systems, v.6 n.2, p.185-219, March 2003
	David B. Skillicorn , Domenico Talia, Models and languages for parallel computation, ACM Computing Surveys (CSUR), v.30 n.2, p.123-169, June 1998
	Pascal Van Hentenryck , Vijay Saraswat, Strategic directions in constraint programming, ACM Computing Surveys (CSUR), v.28 n.4, p.701-726, Dec. 1996
	Krzysztof R. Apt, The role of commutativity in constraint propagation algorithms, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.6, p.1002-1036, Nov. 2000
	Manuel Hermenegildo, Some challenges for constraint programming, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	Frank S. de Boer , Maurizio Gabbrielli , Elena Marchiori , Catuscia Palamidessi, Proving concurrent constraint programs correct, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.98-108, January 16-19, 1994, Portland, Oregon, United States
	Radha Jagadeesan , Keshav Pingali, Abstract semantics for a higher-order functional language with logic variables, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.355-366, January 19-22, 1992, Albuquerque, New Mexico, United States
	Pedro Diniz , Martin Rinard, Synchronization transformations for parallel computing, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.187-200, January 15-17, 1997, Paris, France
	Frank S. De Boer , Maurizio Gabbrielli , Elena Marchiori , Catuscia Palamidessi, Proving concurrent constraint programs correct, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.5, p.685-725, Sept. 1997
	Radha Jagadeesan , Keshav Pingali , Prakash Panangaden, A fully abstract semantics for a first-order functional language with logic variables, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.4, p.577-625, Oct. 1991
	Joachim Niehren, Functional computation as concurrent computation, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.333-343, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Sandro Etalle , Maurizio Gabbrielli , Elena Marchiori, A transformation system for CLP with dynamic scheduling and CCP, ACM SIGPLAN Notices, v.32 n.12, p.137-150, Dec. 1997
	Roberto Giacobazzi , Francesca Scozzari, A logical model for relational abstract domains, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.5, p.1067-1109, Sept. 1998
	Mogens Nielsen , Catuscia Palamidessi , Frank D. Valencia, On the expressive power of temporal concurrent constraint programming languages, Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.156-167, October 06-08, 2002, Pittsburgh, PA, USA
	Vijay Saraswat, Compositional computing, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	Nax P. Mendler , Prakash Panangaden , P. J. Scott , R. A. G. Seely, A logical view of concurrent constraint programming, Nordic Journal of Computing, v.2 n.2, p.181-220, Summer 1995
	V. Gupta , R. Jagadeesan , V. A. Saraswat, Truly concurrent constraint programming, Theoretical Computer Science, v.278 n.1-2, p.223-255, May 6, 2002
	Sandro Etalle , Maurizio Gabbrielli , Maria Chiara Meo, Transformations of CCP programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.3, p.304-395, May 2001
	Prakash Panangaden, From logic to stochastic processes (abstract only), Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.1-2, September 20-23, 2000, Montreal, Quebec, Canada
	Frank S. de Boer , Rogier M. van Eijk , Wiebe van der Hoek , John-Jules Ch. Meyer, A fully abstract model for the exchange of information in multi-agent systems, Theoretical Computer Science, v.290 n.3, p.1753-1773, 3 January 2003
	Roberto Giacobazzi , Isabella Mastroeni, A characterization of symmetric semantics by domain complementation, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.115-126, September 20-23, 2000, Montreal, Quebec, Canada
	Vineet Gupta , Radha Jagadeesan , Prakash Panangaden, Stochastic processes as concurrent constraint programs, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.189-202, January 20-22, 1999, San Antonio, Texas, United States
	Du Li , Richard R. Muntz, A collaboration specification language, ACM SIGPLAN Notices, v.35 n.1, p.149-162, Jan. 2000
	Mogens Nielsen , Catuscia Palamidessi , Frank D. Valencia, Temporal concurrent constraint programming: denotation, logic and applications, Nordic Journal of Computing, v.9 n.2, p.145-188, Summer 2002
	F. S. de Boer , M. Gabbrielli , M. C. Meo, A denotational semantics for Timed Linda, Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.28-36, September 05-07, 2001, Florence, Italy
	Yifeng Chen , J. W. Sanders, Logic of global synchrony, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.2, p.221-262, March 2004
	Vijay A. Saraswat , Radha Jagadeesan , Vineet Gupta, Default timed concurrent constraint programming, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.272-285, January 23-25, 1995, San Francisco, California, United States
	Frank S. De Boer , Maurizio Gabbrielli , Maria Chiara Meo, Proving correctness of timed concurrent constraint programs, ACM Transactions on Computational Logic (TOCL), v.5 n.4, p.706-731, October 2004
	Tom Chothia , Dominic Duggan, Abstractions for fault-tolerant global computing, Theoretical Computer Science, v.322 n.3, p.567-613, 6 September 2004
	Frank D. Valencia, Decidability of infinite-state timed CCP processes and first-order LTL, Theoretical Computer Science, v.330 n.3, p.577-607, 9 February 2005
	Radha Jagadeesan , Will Marrero , Corin Pitcher , Vijay Saraswat, Timed constraint programming: a declarative approach to usage control, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.164-175, July 11-13, 2005, Lisbon, Portugal
	Giorgio Delzanno , Maurizio Gabbrielli , Maria Chiara Meo, A compositional semantics for CHR, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.209-217, July 11-13, 2005, Lisbon, Portugal
	Roberto Giacobazzi , Isabella Mastroeni, Transforming semantics by abstract interpretation, Theoretical Computer Science, v.337 n.1-3, p.1-50, 9 June 2005
	Mogens Nielsen , Frank D. Valencia, Temporal concurrent constraint programming: applications and behavior, Formal and natural computing, Springer-Verlag New York, Inc., New York, NY, 2002
	María Alpuente , María del Mar Gallardo , Ernesto Pimentel , Alicia Villanueva, A semantic framework for the abstract model checking of tccp programs, Theoretical Computer Science, v.346 n.1, p.58-95, 23 November 2005
	Samson Abramsky, Sequentiality vs. concurrency in games and logic, Mathematical Structures in Computer Science, v.13 n.4, p.531-565, August 2003
	Stefano Bistarelli , Ugo Montanari , Francesca Rossi, Soft concurrent constraint programming, ACM Transactions on Computational Logic (TOCL), v.7 n.3, p.563-589, July 2006
	J. Niehren , J. Schwinghammer , G. Smolka, A concurrent lambda calculus with futures, Theoretical Computer Science, v.364 n.3, p.338-356, 8 November 2006
	Julian Gutiérrez , Jorge A. Pérez , Camilo Rueda , Frank D. Valencia, Timed Concurrent Constraint Programming for Analysing Biological Systems, Electronic Notes in Theoretical Computer Science (ENTCS), v.171 n.2, p.117-137, July, 2007
	Alessandro Lapadula , Rosario Pugliese , Francesco Tiezzi, Service Discovery and Negotiation With COWS, Electronic Notes in Theoretical Computer Science (ENTCS), v.200 n.3, p.133-154, May, 2008
	Moreno Falaschi , Alicia Villanueva, Automatic verification of timed concurrent constraint programs, Theory and Practice of Logic Programming, v.6 n.3, p.265-300, May 2006
	Frank S. de Boer , Maurizio Gabbrielli , Maria C. Meo, A Timed Linda Language and its Denotational Semantics, Fundamenta Informaticae, v.63 n.4, p.309-330, December 2004
	Francisco J. López Fraguas , Mario Rodríguez Artalejo , Rafael Del Vírseda, A new generic scheme for functional logic programming with constraints, Higher-Order and Symbolic Computation, v.20 n.1-2, p.73-122, June 2007
	Isabella Mastroeni, Algebraic Power Analysis by Abstract Interpretation, Higher-Order and Symbolic Computation, v.17 n.4, p.297-345, December 2004
	Slim Abdennadher , Thom Frühwirth , Holger Meuss, Confluence and Semantics of Constraint Simplification Rules, Constraints, v.4 n.2, p.133-165, May 1999
	Pascal Van Hentenryck , Vijay Saraswat, Constraint Programming: Strategic Directions, Constraints, v.2 n.1, p.7-33, April 1997
	Manuel Hermenegildo, Some Challenges for Constraint Programming, Constraints, v.2 n.1, p.63-69, April 1997
	Vijay Saraswat, Compositional Computing, Constraints, v.2 n.1, p.95-97, April 1997
	Joachim Niehren, Uniform confluence in concurrent computation, Journal of Functional Programming, v.10 n.5, p.453-499, September 2000
	Carlos Olarte , Frank D. Valencia, The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security, Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, July 15-17, 2008, Valencia, Spain
	Luca Bortolussi , Alberto Policriti, Modeling Biological Systems in Stochastic Concurrent Constraint Programming, Constraints, v.13 n.1-2, p.66-90, June 2008
	Stefano Bistarelli , Francesco Santini, A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation, Electronic Notes in Theoretical Computer Science (ENTCS), 236, p.147-162, April, 2009