[ Bristol CS | Index ] 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 xtension to the declarative concurrent programming language Tempo [Gregory and Ramirez 95]. It includes extensions that support practical features lacking in Tempo such as numbers and data structures, and operations on them, among others. In Tempo++ concurrency issues are separated from the code, minimizing dependency between application functionality and concurrency control. This minimal dependency allows software reuse to be more effective and concurrent programs more flexible. Different synchronisation schemes can be tested without modifying the implementation of the operations, and conversely, a particular synchronisation scheme may be reused by several applications.
The full paper is available in PostScript format.