Tempo: a declarative concurrent programming languageSteve Gregory, Rafael Ramirez, Tempo: a declarative concurrent programming language. Proceedings of the 12th International Conference on Logic Programming. ISBN 0-262-69177-9, pp. 515–529. June 1995. No electronic version available. External information
Tempo is a declarative concurrent programming language based on classical first-order logic. It improves on traditional concurrent logic programming languages (e.g., Parlog) by explicitly specifying aspects of the behaviour of concurrent programs, namely their safety properties. This provides great advantages in writing concurrent programs and manipulating them while preserving correctness. The language has a procedural interpretation that allows the specification to be executed, also concurrently. Tempo is sufficiently high-level to simulate practical concurrent programming paradigms, and can act as a common framework in which algorithms for a variety of paradigms may be expressed, compared, and manipulated.