Paper Info
Title
The Semantics of Simple Language for Parallel Programming.
Abstract
In this paper, we describe a simple language for parallel programming. Its semantics is studied thoroughly. The de- sirable properties of this language and its deciencies are exhibited by this theoretical study. Basic results on parallel program schemata are given. We hope in this way to make a case for more formal (i.e. mathematical) approach to the design of languages for systems programming and the design of operating systems. There is a wide disagreement among systems designers as to what are the best primitives for writing systems programs. In this paper, we describe a simple language for parallel programming and study its mathematical properties.
Year
Venue
Keywords
1974
IFIP Congress
system design,parallel processing,operating system
Field
DocType
Citations 
Integer,System programming,Operational semantics,Signal programming,Computer science,Parallel computing,Very high-level programming language,Parallel programming model,Programming language theory,Semantics (computer science)
Conference
927
PageRank 
References 
Authors
115.96
7
1
Search Limit
100927
Name
Order
Citations
PageRank
Gilles Kahn11437340.18