Rafael Ramirez Department of Computer Science University of Bristol...  Home/Search
Context Related
| cs.bris.ac.uk/~ramirez/Japon.ps 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/~steve/re...tempo++ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 extensions that support practical features lacking in Tempo such as numbers and data structures, and... (Update)
Context of citations to this paper: More
...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 sense that a Tempo...
...practical features such as numbers and data structures, and operations on them. In this chapter we incrementally introduce Tempo [Ramirez 95a] a concurrent object oriented programming language which includes extensions that overcome this deficiency, among others. Tempo...
Cited by: More
A Logic-Based Concurrent Object-Oriented - Programming Language Rafael (Correct)
A Logic-Based Concurrent Object-Oriented Programming Language - Melendez (1997) (Correct)
Representing and Executing Real-Time Systems - Ramirez (Correct)
Similar documents (at the sentence level):
48.0%: Nets, Logic and Concurrent Object-Oriented Programming - Ramirez (1995) (Correct)
Active bibliography (related documents): More All
0.2: MetateM in Intensive Care - Reynolds (1997) (Correct)
0.1: Mutable Object State for Object-Oriented Logic Programming: A.. - Alexiev (1993) (Correct)
0.1: Tempo: A Declarative Concurrent Programming Language - Steve Gregory (1995) (Correct)
Similar documents based on text: More All
0.5: Analysis of tempo classes in performances of Mozart sonatas - Goebl, Dixon (2001) (Correct)
0.5: Derivation of Concurrent Algorithms in Tempo - Gregory (1995) (Correct)
0.4: On Tempo Tracking: Tempogram Representation and Kalman.. - Cemgil, Kappen, Desain, .. (2000) (Correct)
Related documents from co-citation: More All
3: Parallel Program Design (context) - Chandy, Misra - 1988
3: Communicating Sequential Processes (context) - Hoare - 1985
3: Parallel Logic Programming in PARLOG (context) - Gregory - 1987
BibTeX entry: (Update)
Ramirez, R. 1995. Declarative concurrent object-oriented programming in Tempo++. In Proceedings of the ICLP'95 Workshop on Parallel Logic Programming Japan, T. Chikayama, H. Nakashima and E. Tick (Ed.). http://citeseer.ist.psu.edu/ramirez95declarative.html More
@misc{ ramirez95declarative,
author = "R. Ramirez",
title = "Declarative concurrent object-oriented programming in Tempo",
text = "Ramirez, R. 1995. Declarative concurrent object-oriented programming in
Tempo++. In Proceedings of the ICLP'95 Workshop on Parallel Logic Programming
Japan, T. Chikayama, H. Nakashima and E. Tick (Ed.).",
year = "1995",
url = "citeseer.ist.psu.edu/ramirez95declarative.html" }
Citations (may not include all citations):148 Object Structure in the Emerald System (context) - Black, Hutchinson et al. - 1986
121 Executing Temporal Logic Programs - Moszkowski - 1986
77 Temporal logic programming (context) - Abadi, Manna - 1987
63 Parallel Logic Programming in PARLOG (context) - Gregory - 1987
62 Logic and Objects (context) - McCabe - 1988
61 Object Oriented Programming in Concurrent Prolog (context) - Shapiro, Takeuchi - 1983
49 Design of the kernel language for the parallel inference mac.. - Ueda, Chikayama - 1990
41 Modelling and programming in an object-oriented concurrent l.. (context) - Yonezawa, Shibayama et al. - 1987
24 Vulcan: Logical Concurrent Objects (context) - Kahn, Tribble et al. - 1987
14 From Parlog to Polka in Two Easy Steps (context) - Davison - 1991
8 Concurrent Metatem: a language for modelling reactive system.. - Fisher - 1993
2 Tempo: a declarative concurrent programming lnguage (context) - Gregory, Ramirez - 1995
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