Compiler Specification and Verification
Titre:
Compiler Specification and Verification
ISBN (Numéro international normalisé des livres):
9783540387954
Auteur personnel:
Edition:
1st ed. 1981.
PRODUCTION_INFO:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981.
Description physique:
XIII, 272 p. online resource.
Collections:
Lecture Notes in Computer Science, 124
Table des matières:
Theoretical framework -- Source and target languages -- The compiler proof -- Conclusions.
Auteur collectif ajouté:
Accès électronique:
Full Text Available From Springer Nature Computer Science Archive Packages
Langue:
Anglais