Year: 1993
Type: article
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.
DOI: 10.7907/z9x0652t
Author: Thornley, John
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Award: G4545917872
OpenAlex ID: W1734418519