Skip to main content

A declarative approach to concurrent programming

Steve Gregory, A declarative approach to concurrent programming. Proceedings of the 9th International Symposium on Programming Languages: Implementations, Logics, and Programs. ISBN 3-540-63398-7, pp. 79–93. September 1997. No electronic version available. External information

Abstract

Tempo is a language based on classical first-order logic, which can be used for both specifying and implementing concurrent systems. As a declarative programming language, it is unique in that a program explicitly specifies the safety properties that it satisfies. Unlike most specification languages, a Tempo specification of a concurrent system can be executed, also concurrently. An earlier paper presented a subset of Tempo, in which simple synchronization problems could be expressed by precedence relations between events. In this paper we describe a major extension to the language which greatly increases its expressive power. In particular, the language now includes facilities to perform computation -- data values, operations on them, and control features -- as well as synchronization.

Bibtex entry.

Contact details

Publication Admin