Generating compilers from formal semantics

Given a complete, formal description of the semantics of a programming language, it should be possible to generate a compiler for the language using an automated process. This is highly desirable, since it reduces the work required to produce a compiler to the absolute minimum and makes it more likely that the compiler will be correct. This paper describes a set of tools and a methodology that does just this, for a realistic class of programming languages