Publisher's Synopsis
A revised version of a doctoral dissertation (U. of Michigan, 1987). Describes and surveys the field of semantics-based compiler generation and presents a new method for expressing the formal semantics of programming languages that allows realistic compilers to be generated automatically. Annotation copyright Book News, Inc. Portland, Or.