Steve Gregory and Rafael Ramirez Department of Computer Science University of ...  Home/Search
Context Related
| cs.bris.ac.uk/~ramirez/tempo.ps.gz star.cs.bris.ac.uk/papers...tempo.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.bris.ac.uk/~ramirez/tempo (more) From: cs.bris.ac.uk/T...references1995 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Tempo is a declarative concurrent programming language based on classical firstorder 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... (Update)
Context of citations to this paper: More
...design languages that are more declarative than existing ones. We have moved a step in this direction with the design of Tempo (Gregory and Ramirez, 1995). Tempo is a concurrent programming language based on classical first order logic which allows all safety properties to be...
...This provides great advantages in terms of program flexibility, reuse and debugging. 2 Related work This work is strongly related to Tempo ([8]) and Tempo ( 17] 16] Tempo is a declarative concurrent programming language based on first order logic. It is declarative in the...
Cited by: More
A Logic-Based Concurrent Object-Oriented - Programming Language Rafael (Correct)
Executable Specifications for Concurrent Programming - Jaffar, Ramirez, Yap (Correct)
A Logic-Based Concurrent Object-Oriented Programming Language - Melendez (1997) (Correct)
Similar documents (at the sentence level):
74.4%: Tempo: A Declarative Concurrent Programming Language - Gregory, Ramirez (1995) (Correct)
Active bibliography (related documents): More All
0.2: Designing Bug-Free Protocols With SPIN - Holzmann (1997) (Correct)
0.2: An Efficient Algorithm for Multi-Process Shared Events - Vijay Garg (Correct)
0.1: Declarative concurrent object-oriented programming in Tempo++ - Rafael Ramirez Department (1995) (Correct)
Similar documents based on text: More All
0.3: Nets, Logic and Concurrent Object-Oriented Programming - Ramirez (1995) (Correct)
0.3: Derivation of Concurrent Algorithms in Tempo - Gregory (1995) (Correct)
0.2: Representing and Executing Real-Time Systems - Ramirez (Correct)
Related documents from co-citation: More All
5: Design of the kernel language for the parallel inference machine - Ueda, Chikayama - 1990
5: Parallel Program Design (context) - Chandy, Misra - 1988
5: Parallel Logic Programming in PARLOG (context) - Gregory - 1987
BibTeX entry: (Update)
Gregory, S. and Ramirez, R. 1995. Tempo: a declarative concurrent programming language. In Proceedings of the 12th International Logic Programming Conference (Tokyo, June 1995), L.#Sterling (Ed.). MIT Press. http://citeseer.ist.psu.edu/article/gregory95tempo.html More
@inproceedings{ gregory95tempo,
author = "Steve Gregory and Rafael Ramirez",
title = "Tempo: a declarative concurrent programming language",
booktitle = "Proceedings of the 12th International Conference on Logic Programming",
publisher = "MIT Press",
address = "Cambridge, Mass.",
isbn = "0-262-69177-9",
pages = "515--529",
year = "1995",
url = "citeseer.ist.psu.edu/article/gregory95tempo.html" }
Citations (may not include all citations):1044 Maintaining knowledge about temporal intervals (context) - Allen - 1983
324 A logic-based calculus of events (context) - Kowalski, Sergot - 1986
247 The family of concurrent logic programming languages (context) - Shapiro - 1989
195 Parallel Program Design (context) - Chandy, Misra - 1988
157 How to write parallel programs: a guide to the perplexed (context) - Carriero, Gelernter - 1989
131 Modeling concurrency with partial orders (context) - Pratt - 1986
121 Executing Temporal Logic Programs - Moszkowski - 1986
104 Concurrent Programming: Principles and Practice (context) - Andrews - 1991
81 An Introduction to Parallel Programming (context) - Chandy, Taylor - 1991
79 Myths about the mutual exclusion problem (context) - Peterson - 1981
63 Parallel Logic Programming in PARLOG (context) - Gregory - 1987
49 Design of the kernel language for the Parallel Inference Mac.. - Ueda, Chikayama - 1990
42 Principles of Concurrent and Distributed Programming (context) - Ben-Ari - 1990
8 Concurrent Metatem --- a language for modelling reactive sys.. - Fisher - 1993
4 Output guards and non-determinism in CSP (context) - Bernstein - 1980
2 Symposium on Logic Programming (context) - Abadi, Manna - 1987
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC