A reduction specification for DTL
This paper describes techniques which are being used to specify the behaviour of programs written in DTL. The intended Semantics of DTL are similar in many respects to those of Hoare's CSP. However, DTL forces a hierarchical structure on a network of communicating processes and the language specification described capitalises on this to simplify the definition.
The principle technique employed in the DTL Semantic specification involves the generation of a set of reduction rules. Each rule specifies a class of behaviours for some DTL construct. An important aspect of these reduction rules is that they can be viewed as defining the behaviour of a reduction machine which would execute the specification of a particular DTL program. Such a reduction machine could be implemented by software on conventional machines or with much greater efficiency on the kind of recursive architecture made possible by VLSI technology.
KeywordsInput Sequence Language Specification Abstract Syntax Reduction Rule Abstract Machine
Unable to display preview. Download preview PDF.
- 1.Ashcroft E.A. and Wadge W.W. "Lucid: a formal system for writing and proving programs" SIAM J. Computing 5, 3 pp 336–354 (Sept 1976)Google Scholar
- 2.Backus J. "Can programming be liberated from the von-Neumann Style?" A Functional Style and its Algebra of Programs" CACM 21, 8 pp 613–641 (August 1978)Google Scholar
- 3.Coleman D. and Hughes J.W. "The Clean Determination of Pascal Programs" Acta Informatica 11, pp 195–210 (1979)Google Scholar
- 4.Hoare C.A.R. "Communicating Sequential Processes" CACM 21, 8 pp 666–677 (August 1978)Google Scholar
- 6.Hughes J.W. and Powell M.S. "Program Specifications using DTL" Workshop on Program Specification, Aarhus (August 1981)Google Scholar
- 7.Kahn G. "The Semantics of a Simple Language for Parallel Programming" Information Processing 74 — North Holland Publishing Co (1974)Google Scholar
- 8.Turner D.A. "A New Implementation Technique for Applicative Languages" Software P and E 9, pp 31–49 (1979)Google Scholar