A proposal to merge Multiple Tuple Spaces, Object Orientation, and Logic Programming

Montangero, 1994, Oikos: constructing process-centred SDEs, 131 1994 Kowalski, 1979 Ambriola, 1994, eta—Everything buT Assignment See also eta.dvi Semini, L. ftp personal directory. Brogi, 1991, The concurrent language shared prolog, ACM Transactions on Programming Languages and Systems, 13, 99, 10.1145/114005.102807 Bucci, 1991, A distributed logic language based on multiple tuple spaces Gelernter, 1989, Multiple Tuple Spaces in Linda, volume 365 Ambriola, 1993, Control Specification in Tuple Space Based Languages See also eta.dvi Semini, L. ftp personal directory. Tevanian, 1987, Mach Threads and the Unix Kernel: The battle for control, 185 Rine, 1992, Object oriented computing, IEEE Computer, 25, 6 Warren, 1992, Memoing for logic programs, Communications of ACM, 35, 93, 10.1145/131295.131299 Shapiro, 1989, The family of concurrent logic programming languages, ACM Computing Surveys, 21, 412, 10.1145/72551.72555 Gaspari, 1993, Fairness in logic languages based on shared dataspace See also iclp93.dvi Semini, L. ftp personal directory. Aho, 1986 Brogi, 1991, Objects in a logic programming framework, volume 592, 102 Kawai, 1988, Using tuple space communication in distributed object-oriented languages, 276 Shapiro, 1989, Linda in context, Communications of ACM, 32, 1244 Saraswat, 1989 Saraswat, 1990, Concurrent constraint programming de Boer, 1993, Non-monotonic concurrent constraint programming Semini, 1993, Equivalences between non-monotonic concurrent constraint and tuple space based languages Andreoli, 1990, Linear Objects: logical processes with built-in inheritance, 495 Andreoli, 1990, LO and behold! Concurrent structured processes, 1 Bourgois, 1992, Extending objects with rules, composition and concurrency: the LO experience Girard, 1987, Linear logic, Theoretical Computer Science, 50, 1, 10.1016/0304-3975(87)90045-4 Agha, 1986 Semini, L. ftp personal directory.