Abstract | ||
---|---|---|
We introduce an abstract form of interobject communication for object-oriented concurrent programming based on the proof theory of Linear Logic, a logic introduced to provide a theoretical basis for the study of concurrency. Such a form of communication, which we call forum-based communication, can be seen as a refinement of blackboard-based communication in terms of a more local notion of resource consumption. Forum-based communication is introduced as part of a new computational model for the object-oriented concurrent programming language LO, presented at last year OOPSLA/ECOOP (1990), which exploits the proof-theory of Linear Logic also to achieve a powerful form of knowledge-sharing. |
Year | DOI | Venue |
---|---|---|
1991 | 10.1145/117954.117971 | OOPSLA |
Keywords | Field | DocType |
linear logic,computer model,proof theory,object oriented | Computational logic,Programming language,Computer science,Theoretical computer science | Conference |
Volume | Issue | ISSN |
26 | 11 | 0362-1340 |
ISBN | Citations | PageRank |
0-201-55417-8 | 31 | 4.41 |
References | Authors | |
17 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jean-Marc Andreoli | 1 | 764 | 72.75 |
Remo Pareschi | 2 | 601 | 162.52 |