It is suggested that denotational semantic definitions of programming languages should be based on a small number of abstract data types, each embodying a fundamental concept of computation. Once these fundamental abstract data types are implemented in a particular target language (e.g. stack-machine code), it is a simple matter to construct a correct compiler for any source language from its denotational semantic definition. The approach is illustrated by constructing a compiler equivalent to the one which was proved correct by Thatcher, Wagner & Wright (1979).
CITATION STYLE
Mosses, P. (1980). A constructive approach to compiler correctness. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 94 LNCS, pp. 189–210). Springer Verlag. https://doi.org/10.1007/3-540-10250-7_23
Mendeley helps you to discover research relevant for your work.