Formalization and automatic derivation of code generators

Roderic Geoffrey Galton Cattell
[Google Scholar] [DBLP] [Citeseer] [url]

Ph.D. thesis
AAI7815197
Carnegie Mellon University
Pittsburgh, PA, USA
1978
Note(s): ISA specification