Enhancing coordination and modularity mechancing coordination and modularity mechanisms for a language with objects-as-multisets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1061, Issue , 1996, Pages 89-106

  Castellani, Stefania ^a,b   Ciancarini, Paolo ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b XEROX RESEARCH CENTRE EUROPE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; LINEAR ALGEBRA; OBJECT ORIENTED PROGRAMMING; RECONFIGURABLE HARDWARE;

LINEAR LOGIC; LINEAR OBJECTS; MULTI-SETS; NEW MECHANISMS; PROOF THEORY; THEORETICAL FRAMEWORK; TUPLE SPACE;

COMPUTATIONAL LINGUISTICS;

EID: 84958778454     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61052-9_41     Document Type: Conference Paper

References (22)

1. G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA, Cambridge, MA, 1986
2. JM. Andreoli. Logic Programming with Focusing Proofs in Linear Logic. Journal of Logic and Computation, 2(3):297-348, 1992
3. JM. Andreoli, P. Ciancarini, and R. Pareschi. Interaction Abstract Machines. In G. Agha, P. Wegner, and A. Yonezawa, editors, Trends in Object-Based Concurrent Computing, pages 257-280. MIT Press, Cambridge, MA, 1993
4. JM. Andreoli, L. Leth, R. Pareschi, and B. Thomsen. True Concurrency Semantics for a Linear Logic Programming Language with Broadcast Communication. In Proc. Conf. on Theory and Practice of Sw Development (TAPSOFT 93), volume 668 of Lecture Notes in Computer Science, pages 182-198, France, 1993. Springer- Verlag, Berlin
5. JM. Andreoli and R. Pareschi. Formulae as active representations of data. In Actes du #em~ Seminaire sur la Programmation en Logique, Tregastel, France, 1990
6. JM. Andreoli and R. Pareschi. Linear Objects: Logical Processes with Built-in Inheritance. New Generation Computing, 9(3-4):445-473, 1991
7. JP. Banatre and D. LeMetayer. Programming by Multiset Transformation. Communications of the ACM, 36(1):98-111, January 1993
8. A. Brogi and P. Ciancarini. The concurrent language Shared Prolog. A CM Transactions on Programming Languages and Systems, 13(1):99-123, 1991
9. N. Carriero and D. Gelernter. Coordination Languages and Their Significance. Communications of the ACM, 35(2):97-107, February 1992
10. P. Ciancarini. Distributed Programming with Logic Tuple Spaces. New Generation Computing, 12(3):251-284, May 1994
11. H. Cunningham and GC. Roman. A Unity-Style Programming Logic for Shared Dataspace Programs. IEEE Transactions on Parallel and Distributed Systems, 1(3):365-376, July 1990
12. K. DeBosschere and JM. Jacquet. Comparative Semantics of #Log. In D. Etiemble and J. Syre, editors, Proc. Conf. on Parallel Architectures and Languages Europe (PARLE 92), volume 605 of Lecture Notes in Computer Science, pages 911-926, Paris, France, 1992
13. J. Girard. Linear logic. Theoretical Computer Science, 50:1-102, 1987
14. N. Kobayashi and A. Yonezawa. A Concurrent Linear Logic Programming Paradigm. In Proc. 10 th Int. Syrup. on Logic Programming, pages 278-294. MIT Press, Cambridge, MA, 1993
15. H. Lieberman. Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems. In N. Meyrowitz, editor, Proc. ACM Conf. on Object- Oriented Programming Systems, Languages and Applications (OOPSLA), volume 21:11 of ACM Sigplan Notices, pages 214-223, October 1986
16. E. Lusk, DHD. Warren, et al. The Aurora OR-parallel Prolog System. In Proc. Int. Con]. on Filth Generation Computer Systems, pages 819-830. ICOT, 1988
17. J. Meseguer. A Logical Theory of Concurrent Objects and Its Realization in the Maude Language. In G. Agha, P. Wegner, and A. Yonezawa, editors, Trends in Object-Based Concurrent Computing, pages 314-390. MIT Press, Cambridge, MA, 1993
18. D. Miller. A Multiple-Conclusions Meta-Logic. In Proc. 9th IEEE Syrup. on Logic In Computer Science (LICS), Paris, France, 1994. IEEE Computer Society Press
19. K. Prasad. A Calculus of Broadcasting Systems. In S. Abramski and T. Maibaum, editors, Proc. 16th Colloquium on Tt,ees in Algebra and Programming, volume 493 of Lecture Notes in Computer Science, pages 338-358, Brighton, UK, 1991. Springer-Verlag, Berlin
20. L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, Cambridge, MA, 1986
21. G. Sutcliffe. Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog. In F. DeBoesschere, J. Jacquet, and P. Tarau, editors, Proe. Workshop on Blackboard. based Logic Programming, pages 105-117, Budapest, Hungary, June 1993
22. A. Tanenbaum, F. Kaashouek, and It. Bal. Parallel Programming Using Shared Objects and Broadcasting. IEEE Computer, 25(8):10-19, August 1992.