Compiler Specification and Verification

Título:

ISBN:

9783540387954

Autor personal:

Edición:

1st ed. 1981.

PRODUCTION_INFO:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981.

Descripción física:

XIII, 272 p. online resource.

Serie:

Lecture Notes in Computer Science, 124

Contenido:

Theoretical framework -- Source and target languages -- The compiler proof -- Conclusions.

Término de la materia:

Autor corporativo añadido:

Acceso electrónico:

Idioma:

Inglés