Title: Semantics-directed compiler generation
Subjects: Compilers (Computer programs), Programming languages (Electronic computers), Semantics, Compiling (Electronic computers)