A hierarchical machine model for the semantics of programming languages
Victor Robert Basili, Albert J. Turner · 1973
A formal definitional facility for specifying the semantics of a programming language should provide a tool that aids in the design, definition, implementation and comparison of programming languages. This paper deals with the development of such a facility.