作者
Charles Antony Richard Hoare, He Jifeng, Augusto Sampaio
发表日期
1993/8
期刊
Acta informatica
卷号
30
页码范围
701-739
出版商
Springer-Verlag
简介
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.
引用总数
学术搜索中的文章
CAR Hoare, H Jifeng, A Sampaio - Acta informatica, 1993