Result: The essence of parallel algol

Title:
The essence of parallel algol
Authors:
BROOKES, Stephen
Source:
LICS '96 (Part 2)Information and computation (Print). 179(1):118-149
Publisher Information:
San Diego, CA: Elsevier, 2002.
Publication Year:
2002
Physical Description:
print, 20 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Informatique théorique, Theoretical computing, Théorie des langages et analyse syntaxique, Language theory and syntactical analysis, Algorithmique. Calculabilité. Arithmétique ordinateur, Algorithmics. Computability. Computer arithmetics, Logiciel, Software, Langages de programmation, Programming languages, ALGOL, Encapsulation, Encapsulación, Informatique théorique, Computer theory, Informática teórica, Langage programmation, Programming language, Lenguaje programación, Programmation fonctionnelle, Functional programming, Programación funcional, Programmation orientée objet, Object oriented programming, Programmation parallèle, Parallel programming, Programación paralela, Système mémoire partagée, Shared memory systems, Sémantique dénotationnelle, Denotational semantics, Semántica denotacional, Variable locale, Local variable
Document Type:
Conference Conference Paper
File Description:
text
Language:
English
Author Affiliations:
Department of Computer Science, Carnegie Mellon University, Schenley Park, Pittsburgh, Pennsylvania 15213, United States
ISSN:
0890-5401
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=14030053
Rights:
Copyright 2003 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.14030053
Database:
PASCAL Archive

Further Information

We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local variables provide a way to restrict interference between parallel commands. The combination of local variables, procedures, and parallelism supports a form of concurrent object-oriented programming. We provide a denotational semantics for this language, simultaneously adapting possible worlds to the parallel setting and generalizing transition traces to the procedural setting. This semantics supports reasoning about safety and liveness properties of parallel programs, and validates a number of natural laws of program equivalence based on noninterference properties of local variables. The semantics also validates familiar laws of functional programming. We also provide a relationally parallel semantics. This semantics supports standard methods of reasoning about representational independence, adapted to shared-variable programs. The clean design of the programming language and its semantics shows that procedures and shared-variable parallelism can be combined smoothly.