Normal form approach to compiler design |
| |
Authors: | C. A. R. Hoare He Jifeng A. Sampaio |
| |
Affiliation: | (1) Oxford University Computing Laboratory Programming Research Group, 11 Keble Road, OX1 3QD Oxford, England |
| |
Abstract: | This paper demonstrates how reduction to normal form can help in the design of a correct compiler for Dijkstra's guarded command language. The compilation strategy is to transform a source program, by a series of algebraic manipulations, into a normal form that describes the behaviour of a stored-program computer. Each transformation eliminates high-level language constructs in favour of lower-level constructs. The correctness of the compiler follows from the correctness of each of the algebraic transformations. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |