by Yi-ke Guo, John Darlington
http://www.di.uminho.pt/ftp/pub/DI/Fundamentos/Papers/mirror-ImperialCollege/ic-fp/Y.Guo/./paper.ps.gz
Add To MetaCart
Abstract:
In this paper, definitional constraint constraint programming, abbreviated as CDC, is presented as a uniform framework for declarative concurrent programming. The new paradigm supports a uniform concurrent computational model unifying functional evaluation, linear deduction and constraint solving. It leads us from a constraint based integration of functional and logic programming to a powerful framework for multiparadigm concurrent constraint programming. 1
Citations
|
886
|
A Calculus of Mobile Processes
– Milner, Parrow, et al.
- 1992
|
|
865
|
ACTORS, a model of concurrent computation in distributed systems
– Agha
- 1986
|
|
694
|
Parallel Program Design: A Foundation
– Chandy, Misra
- 1988
|
|
368
|
Conditional rewriting logic as a unified model of concurrency
– Meseguer
- 1992
|
|
332
|
D.: LCF considered as a programming language
– Plotkin
- 1977
|
|
281
|
Functions as processes
– Milner
- 1992
|
|
264
|
The family of concurrent logic programming languages
– Shapiro
- 1989
|
|
211
|
Computational interpretations of linear logic
– Abramsky
- 1993
|
|
194
|
Concurrent Constraint Programming Languages
– Saraswat
- 1989
|
|
153
|
General logics
– Meseguer
- 1989
|
|
67
|
On asynchronous communication semantics
– Honda, Tokoro
- 1992
|
|
58
|
Towards a lambda calculus for concurrent and communicating systems
– Boudol
- 1989
|
|
48
|
Asynchronous communication model based on linear logic
– Kobayashi, Yonezawa
- 1994
|
|
38
|
Parallel programming in Maude
– Meseguer, Winkler
- 1992
|
|
33
|
Angelic non-determinism in concurrent constraint programming
– Jagadeesan, Shanbhogue, et al.
- 1991
|
|
33
|
Higher-order linear concurrent constraint programming
– Saraswat, Lincoln
- 1992
|
|
23
|
Logic programming with sequent systems: a linear logic approach
– Andreoli, Pareschi
- 1990
|
|
7
|
Implementing Logical Variables on a Graph Reduction
– Lindstrom
- 1987
|
|
3
|
Boudol and G.Berry. The chemical abstract machine
– Gerard
- 1990
|
|
3
|
Falcon: Functional And Logic language with CONonstraints--language definition
– Guo, Pull
- 1991
|
|
3
|
Y.G.A.Lafont and P.Taylor. Proofs and Types
– Girard
- 1989
|
|
3
|
and Vijay Saraswat. Proofs as Concurrent Processes: A Logical Interpretation for ConcurrentConstraint Programming
– Lincoln
- 1991
|
|
2
|
Jagadeesan and K.Pingali. A fully abstract semantics for a functional language with logic variables
– R
- 1992
|
|
1
|
LIFE: A natuaral language for natural lanaguage
– Ait-Kaci
- 1988
|
|
1
|
Developing phoenix design space: A uniform framework for investigating declarative programming languages
– Guo, Darlington, et al.
- 1990
|
|
1
|
Parallelism: A Functional Perspective
– iArrays, Side-Effects
- 1985
|
|
1
|
The ��-calculus as a theory in linear logic
– Miller
- 1992
|
|
1
|
FUNLOG: a Computational Model Intergrating Logic Programming and Functional Programming
– Subrahmanyam, You
- 1986
|
