Vijay Saraswat, Patrick Lincoln  Home/Search
Context Related
| nasa.gov/people/vgupta/publi...holcc.ps xerox.com/spl/projects/m...mbcholcc.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/people/...holccabstract (more) From: xerox.com/spl/p...holccabstract (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a very simple and powerful framework for indeterminate, asynchronous, higher-order computation based on the formula-as-agent and proof-ascomputation interpretation of (higher-order) linear logic [Gir87]. The framework significantly refines and extends the scope of the concurrent constraint programming paradigm [Sar89] in two fundamental ways: (1) by allowing for the consumption of information by agents it permits a direct modelling of (indeterminate) state change in a logical... (Update)
Context of citations to this paper: More
.... removed from the store during computations, have been thus de ned to escape from these limitations [4] For example, the language LCC [10, 25] is a variant of CC with constraint systems based on linear logic and where constraints are consumed by the ask agents. 25] gives...
.... Yves Girard s Linear Logic [6] that is sound and complete for observing the entailment closed sets of successes and accessible stores [5, 4, 12]. This, among other reasons, led to a generalization of CC languages, called Linear Concurrent Constraint languages (LCC) that is used...
Cited by: More
Pi-calculus and LCC, a Space Odyssey - Soliman (2003) (Correct)
Linear Concurrent Constraint Programming: Operational and.. - Fages, Ruet, Soliman (1997) (Correct)
CLP Implementation of a Phase Model Checker - Soliman (Correct)
Active bibliography (related documents): More All
0.7: Concurrency in the lambda-calculus: Higher-order Concurrent.. - Saraswat (1991) (Correct)
0.5: Angelic Non-Determinism in Concurrent Constraint.. - Jagadeesan, Saraswat.. (1991) (Correct)
0.5: LFG qua concurrent constraint programming - Vijay Saraswat (Correct)
Similar documents based on text: More All
0.1: Computational Aspects of Linear Logic - Lincoln (1992) (Correct)
0.1: CC Programs with both In- and Non-determinism: A.. - Montanari, Rossi.. (1994) (Correct)
0.1: Sound And Complete Translations From Sorted Higher-Order Logic.. - Kerber (1994) (Correct)
Related documents from co-citation: More All
16: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
15: Concurrent Constraint Programming (context) - Saraswat - 1990
14: Concurrent constraint programming with information removal (context) - Best, de Boer et al. - 1997
BibTeX entry: (Update)
V.A. Saraswat and P. Lincoln. Higher-order linear concurrent constraint programming. Technical report, Xerox Parc, 1992. http://citeseer.ist.psu.edu/saraswat92higherorder.html More
@techreport{ saraswat92higherorder,
author = "Vijay Saraswat and Patrick Lincoln",
title = "{Higher-order Linear Concurrent Constraint Programming}",
year = "1992",
url = "citeseer.ist.psu.edu/saraswat92higherorder.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
434 A framework for defining logics - Harper, Honsell et al.
297 A calculus for mobile processes (context) - Milner, Parrow et al. - 1989
266 Information and Computation (context) - Coquand, Huet et al. - 1988
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1991
223 Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1990
216 Semantic foundations of concurrent constraint programming - Saraswat, Rinard et al. - 1991
210 Logic programming in the lf logical framework - Pfenning - 1991
194 Functions as processes (context) - Milner - 1990
130 Full abstraction in the lazy lambda-calculus (context) - Abramsky, Ong - 1989
126 A logical theory of concurrent objects and its realization i.. (context) - Meseguer - 1992
101 Concurrent constraint programming (context) - Saraswat, Rinard - 1990
72 Kernel andorra prolog and its computation model - Haridi, Janson - 1990
69 calculus as a theory in linear logic: Preliminary results (context) - Miller - 1992
63 A brief guide to linear logic - Scedrov - 1990
62 A calculus of higher-order communicating systems (context) - Thomsen - 1989
56 Janus: A step towards distributed constraint programming (context) - Saraswat, Kahn et al. - 1990
52 The lazy lambda calculus in a concurrency scenario - Sangiorgi - 1992
52 The Chemical Abstract Machine (context) - Boudol, Berry - 1990
52 Towards a lambda-calculus for concurrent and communicating s.. (context) - Boudol - 1989
50 Higher-order horn clauses - Nadathur, Miller - 1990
48 A logical theory of concurrent objects (context) - Meseguer - 1990
38 The uniform proof-theoretic foundation of linear logic progr.. - Harland, Pym - 1991
35 Normal process representatives (context) - Gehlot, Gunter - 1990
35 Logic Programming: Functions (context) - DeGroot, Lindstrom - 1986
33 From Petri nets to linear logic (context) - Marti-Oliet, Meseguer - 1989
27 Angelic non-determinism in concurrent constraint programming - Jagadeesan, Shanbhogue et al. - 1991
25 Nets as tensor theories (context) - Gunter, Gehlot - 1989
19 proofs as computations (context) - Asperti, Ferrari et al. - 1990
17 The failure of failures in a paradigm for asynchronous commu.. (context) - de Boer, Kok et al. - 1991
16 Event spaces and their linear logic - Pratt - 1992
13 The typed -calculus with first-class processes (context) - Nielson - 1989
13 Dipartimento di Informatica (context) - Asperti, for et al. - 1987
8 Actors as a special case of concurrent constraint programmin.. (context) - Kahn, Saraswat - 1990
7 Functional programming and the logical variable (context) - Lindstrom - 1985
5 Higher-order horn logic programming (context) - Wadge - 1991
4 Constraint programming over finite domains (context) - Van Hentenryck, Saraswat et al. - 1991
3 Proofs as Concurrent Processes: A Logical Interpretation for.. (context) - Lincoln, Saraswat - 1991
3 Abstract semantics for higher-order functional language with.. (context) - Keshav - 1991
2 Linear janus: A concurrent programming language (context) - Tse - 1992
2 LFCS Report ECS-LFCS (context) - Milner, ss-calculus et al. - 1991
1 SIGACT Notices (context) - Lincoln - 1992
1 Presented at the Abingdon Workshop on Mathematical Aspects o.. (context) - Honda, Tokoro et al. - 1992
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