Compiler specification and verification
By: Wolfgang Polak.
Series: Lecture notes in computer science ;; 124
Publisher: Springer-Verlag
Published: 1981
Place of publication: Berlin; New York
Language: eng
Number of pages: 269
Subjects: Compilers (Computer programs); Computer programs -- Verification.
Notes: Bibliography: p. [146]-155.
"A revised version of my Ph.D. thesis"-- pref.