Concurrent Object Oriented Programming in a Logic Variable Language
نویسنده
چکیده
This article introduces a concurrent object oriented language whose underlying operational semantics is based on the logic variable. The language is designed in reponse to Kahn’s criticisms [Kahn 89] of previous attempts to build concurrent object-oriented languages on top of concurrent logic languages. We believe Aldwych is a language which removes the verbosity of concurrent logic language code, without removing the power for abstract concurrent programming.
منابع مشابه
Object - Oriented Concurrent Constraint Programming
1.1 Abstract Oz is a higher-order concurrent constraint programming system under development at DFKI. It combines ideas from logic and concurrent programming in a simple yet expressive language. From logic programming Oz inherits logic variables and logic data structures, which provide for a programming style where partial information about the values of variables is imposed concurrently and in...
متن کاملA π – calculus Semantics of Logical Variables and Unification
A π–calculus semantics of terms and logical variables, environment creation visavis term copying and variable refreshing, and sequential unification is presented. The π–calculus’s object–oriented approach to modelling evolving communication structures is used to model the evolving communication environment found in concurrent logic program computations. The novelty of this semantics is that it ...
متن کاملA {calculus Semantics of Logical Variables and Uniication
A {calculus semantics of terms and logical variables, environment creation visavis term copying and variable refreshing, and sequential uniication is presented. The {calculus's object{oriented approach to modelling evolving communication structures is used to model the evolving communication environment found in concurrent logic program computations. The novelty of this semantics is that it exp...
متن کاملDeclarative Concurrent Object-oriented Programming in Tempo++
This paper presents Tempo++, a high-level programming language designed for concurrent object-oriented applications. It is based on a new programming model combining logic programming, constraint solving and object-oriented programming in a uniform framework. Tempo++ is an object-oriented extension to the declarative concurrent programming language Tempo Gregory and Ramirez 95]. It includes ext...
متن کاملObject-Oriented Concurrent Constraint Programming in Oz
1.1 Abstract Oz is a higher-order concurrent constraint programming system under development at DFKI. It combines ideas from logic and concurrent programming in a simple yet expressive language. From logic programming Oz inherits logic variables and logic data structures, which provide for a programming style where partial information about the values of variables is imposed concurrently and in...
متن کامل