Vijay Saraswat, Martin Rinard, Prakash Panangaden  Home/Search
Context Related
| nasa.gov/ic/people...emanticspopl91.ps nasa.gov/people/vg...emanticspopl91.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: nasa.gov/ic/peo...popl91abstract (more) From: nasa.gov/people...popl91abstract (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Concurrent constraint programming [Sar89,SR90] is a simple and powerful model of concurrent computation based on the notions of store-as constraint and process as information transducer. The store-as-valuation conception of von Neumann computing is replaced by the notion that the store is a constraint (a finite representation of a possibly infinite set of valuations) which provides partial information about the possible values that variables can take. Instead of "reading" and "writing" the... (Update)
Cited by: More
Timed Constraint Programming: A Declarative.. - Jagadeesan.. (Correct)
Process Algebra for Agent Communication: - General Semantic Approach (Correct)
Abstractions for Fault-Tolerant Global Computing - Chothia, Duggan (2004) (Correct)
Similar documents (at the sentence level):
7.4%: A Hyperdoctrinal View of Constraint Systems - Panangaden, Saraswat, Scott.. (1993) (Correct)
5.8%: A Hyperdoctrinal View of Concurrent Constraint Programming - Panangaden, Saraswat.. (1993) (Correct)
Active bibliography (related documents): More All
0.8: Angelic Non-Determinism in Concurrent Constraint.. - Jagadeesan, Saraswat.. (1991) (Correct)
0.6: Concurrency in the lambda-calculus: Higher-order Concurrent.. - Saraswat (1991) (Correct)
0.6: A Fully Abstract Model for Concurrent Constraint Programming - de Boer, Palamdessi (1991) (Correct)
Similar documents based on text: More All
0.2: Oracles and Confluence - A Fixpoint Semantics for Concurrent.. - Nyström (1995) (Correct)
0.1: Proving Concurrent Constraint Programs Correct - de Boer, al. (1997) (Correct)
0.1: A Logical View Of Concurrent Constraint Programming - Mendler, Panangaden, Scott.. (1995) (Correct)
Related documents from co-citation: More All
38: Concurrent Constraint Programming (context) - Saraswat - 1990
28: Constraint Logic Programming (context) - Jaffar, Lassez - 1987
26: Domains for denotational semantics (context) - Scott - 1982
BibTeX entry: (Update)
V.A. Saraswat, M. Rinard, and P. Panangaden. Semantic foundation of concurrent constraint programming. In Proceedings of the 18th ACM Symposium on Principles of Programming Language, pages 333--352, 1991. http://citeseer.ist.psu.edu/saraswat91semantic.html More
@inproceedings{ saraswat91semantic,
author = "Vijay A. Saraswat and Martin Rinard and Prakash Panangaden",
title = "Semantic Foundations of Concurrent Constraint Programming",
booktitle = "Conference Record of the Eighteenth Annual {ACM} Symposium on Principles of Programming Languages",
address = "Orlando, Florida",
pages = "333--352",
year = "1991",
url = "citeseer.ist.psu.edu/saraswat91semantic.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
716 Parallel Program Design---A foundation (context) - Chandy, Misra - 1988
359 An introduction to higher-order categorical logic (context) - Lambek, Scott - 1986
302 The semantics of a simple language for parallel programming (context) - Kahn - 1974
297 A calculus for mobile processes (context) - Milner, Parrow et al. - 1989
221 Constraint logic programming (context) - Jaffar, Lassez - 1987
214 Domains for denotational semantics (context) - Scott - 1982
194 Functions as processes (context) - Milner - 1990
162 Data types as lattices (context) - Scott - 1976
151 Logic semantics for a class of committed-choice programs (context) - Maher - 1987
146 A powerdomain construction (context) - Plotkin - 1976
132 Strand: New concepts in parallel programming (context) - Foster, Taylor - 1989
101 Concurrent constraint programming (context) - Saraswat, Rinard - 1990
83 volume 7 of Cambridge tracts in Theoretical Computer Science (context) - Girard, Types - 1989
78 Specification-oriented semantics for communicating processes (context) - Olderog, Hoare - 1986
56 Janus: A step towards distributed constraint programming (context) - Saraswat, Kahn et al. - 1990
52 The chemical abstract machine (context) - Boudol, Berry - 1990
43 A fully abstract model for concurrent constraint programming (context) - de Boer, Palamidessi - 1990
35 Logic Programming: Functions (context) - DeGroot, Lindstrom - 1986
25 unfolding rules and fixpoint semantics (context) - Levi - 1988
24 Programming Research Group (context) - Josephs, theory - 1990
19 North Holland Publishing Company (context) - Henkin, Monk et al. - 1971
14 volume 611 of Lecture Notes in Mathematics (context) - Makkai, Reyes et al.
12 Unfolding and fixpoint semantics of concurrent constraint lo.. (context) - Gabbrielli, Levi - 1990
11 A domain-theoretic model of a higher-order process calculus - Jagadeesan, Panangaden - 1990
8 A fully abstract semantics for a functional language with lo.. (context) - Jagadeesan, Panangaden et al. - 1989
7 Functional programming and the logical variable (context) - Lindstrom - 1985
6 The language fcp (context) - Kliger, Yardeni et al. - 1988
6 A fully abstract denotational semantics for Flat Concurrent .. (context) - Gerth, Codish et al. - 1988
6 Reactive behavior semantics for concurrent constraint logic .. (context) - Gaifman, Maher et al. - 1989
6 semantics and meta-mathematics (context) - Tarski - 1956
5 A somewhat logical formulation of CLP synchronization primit.. (context) - Saraswat - 1988
3 Partial correctness semantics for cp (context) - Saraswat - 1985
3 A theory of conjunction and concurrency (context) - Hoare - 1989
3 SpringerVerlag Berlin Heidelberg New York (context) - Gierz, Hoffman et al. - 1980
2 Let's make models (context) - Hoare - 1990
2 A fully abstract model for concurrent constraint logic langu.. (context) - de Boer, Palamidessi - 1990
1 ACM Transactions on Principles of Programming Languages (context) - Rishiyur, Keshav et al. - 1989
1 What is a constraint (context) - Saraswat, Panangaden et al.
1 Technical Report Technical Monograph PRG (context) - Roscoe, order et al. - 1988
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC