Modular compiler verification
Subtitle: a refinement-algebraic approach advocating stepwise abstraction
By: Markus Müller-Olm.
Series: Lecture notes in computer science,; 1283
Publisher: Springer
Published: 1997
Place of publication: Berlin; New York
Language: eng
Number of pages: 250
Subjects: Compilers (Computer programs); Computer software -- Verification
Notes: Includes bibliographical references (p. [239]-243) and index.