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

Authors:
Vincenzo Ambriola;Giovanni A. Cignoni;Laura Semini
Affiliations:
Dipartimento di Informatica, Universitá di Pisa, Corso Italia 40, 56125 Pisa, Italy;Dipartimento di Informatica, Universitá di Pisa, Corso Italia 40, 56125 Pisa, Italy;Dipartimento di Informatica, Universitá di Pisa, Corso Italia 40, 56125 Pisa, Italy
Venue:
Computer Languages
Year:
1996

Citing 13
Cited 3

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
Logic for problem-solving

Logic for problem-solving
Linear logic

Theoretical Computer Science
Using tuple space communication in distributed object-oriented languages

OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Linda in context

Communications of the ACM
The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)
Linear objects: logical processes with built-in inheritance

Logic programming
The concurrent language, Shared Prolog

ACM Transactions on Programming Languages and Systems (TOPLAS)
Memoing for logic programs

Communications of the ACM
Non-monotonic concurrent constraint programming

ILPS '93 Proceedings of the 1993 international symposium on Logic programming
OIKOS: constructing process-centred SDEs

Software process modelling and technology
Software Process Modelling and Technology

Software Process Modelling and Technology
Objects in a Logic Programming Framework

Proceedings of the First Russian Conference on Logic Programming

GHolo: a multiparadigm model oriented to development of grid systems

Future Generation Computer Systems
GHolo: a multiparadigm model oriented to development of grid systems

Future Generation Computer Systems
Rule-based coordination of logic programs

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

We define a new language that naturally satisfies the requirements of concurrency support, modularity, and declarativity. Although some classes of existing languages already cover a subset of these requirements, there is no example of a programming language entirely fulfilling them. We propose to merge three programming paradigms, Multiple Tuple Spaces, Object Orientation, and Logic Programming, as a solution to our requirement list. Each paradigm is well characterized and satisfies one of the given requirements. Moreover, we claim that the merging will reveal new directions in the inception and development of future programming languages.