Parallel recursive program schemes
In the paper a notion of parallel program scheme is introduced. Interpretations of such schemes are defined in two steps: first, independently of instructions meaning, to each scheme a language over the set of all instructions is assigned; second, for a given interpretation of instructions, to each such a language a function is assigned, being the intended interpretation of the scheme. This construction allows to obtain a satisfactory interpretation of parallel components of recursive schemes. The parallel composition of languages is introduced and some properties of this notion are given. It is shown how the theory of recursive procedures can be extended to procedures containing parallel operations. An example shows an application of the above approach.
KeywordsParallel Composition Sequential Scheme Execution Sequence Program Scheme Parallel Expression
Unable to display preview. Download preview PDF.
- 1.Strachey, C. and Wadsworth, C., Continuations:A mathematical semantics for handling full jumps, Technical Monograph RPG-11, Oxford University Computing Laboratory (1974)Google Scholar
- 2.Blikle, A., Equations in the space of languages, CC PAS Reports, Warsaw, (1973)Google Scholar
- 3.Scott, D. and Strachey, C., Toward a mathematical semantics for computer languages, Technical Monograph RPG-6, Oxford University Computing Laboratory (1971).Google Scholar