Search in directory Searching

Description: Based on classical first-order logic; improves on usual concurrent logic languages (eg, Parlog) by explicitly specifying aspects of behavior of concurrent programs, namely: safety properties; gives advantages in writing concurrent programs and manipulating them while preserving correctness. (January 01, 1995)

Subcat: https://morefunz.com/computers/programming/languages/?page=41

Size: 225 chars

Email: —

Phone&Fax: —

Address: —

Extended: —

WEBSITE Info

Page title:	CiteSeerX — Tempo: A Declarative Concurrent Programming Language
Keywords:	CiteSeerX, Steve Gregory, Rafael Ramirez
Description:	CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): 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 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. 1 Introduction With the ever more widespread use of multiprocessor architectures and computer networks, the study of concurrent programming is becoming increasingly important. At the same time, concurrent programming is substantially more difficult than sequential programming: as w...
IP-address:	130.203.136.95

WHOIS Info

NS	Name Servers: NS1.PSU.EDU 128.118.25.6 NS2.PSU.EDU 128.118.70.6
WHOIS
Date	activated: 14-Jul-1986 last updated: 22-May-2013 expires: 31-Jul-2014