Parallel Programming with Declarative Ada

Thornley, John (1993) Parallel Programming with Declarative Ada. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-03]

Full text available as:

Postscript - Requires a viewer, such as GhostView

Abstract

Declarative programming languages (e.g., functional and logic programming languages) are semantically elegant and implicitly express parallelism at a high level. We show how a parallel declarative language can be based on a modern structured imperative language with single-assignment variables. Such a language combines the advantages of parallel declarative programming with the strengths and familiarity of the underlying imperative language. We introduce Declarative Ada, a parallel declarative language based on a subset of Ada. Declarative Ada integrates parallel and sequential composition, allowing sequential input and output from within parallel declarative programs.

EPrint Type:	Monograph (Technical Report)
Subjects:	All Records
ID Code:	210
Deposited By:	Caltech Library System
Deposited On:	14 May 2001
Record Number:	CaltechCSTR:1993.cs-tr-93-03
Official Persistent URL:	http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-03
Usage Policy:	You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.

Archive Staff Only: edit this record