Normal view MARC view ISBD view

Compiler Specification and Verification [electronic resource] / edited by Wolfgang Polak. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1981. - XIII, 272 p. online resource. - Lecture Notes in Computer Science, 124 0302-9743 ; . - Lecture Notes in Computer Science, 124 .

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

ISBN: 9783540387954

Standard No.: 10.1007/3-540-10886-6 doi

Subjects--Topical Terms:
Computer science.
Computer Science.
Programming Languages, Compilers, Interpreters.

LC Class. No.: QA76.7-76.73 QA76.76.C65

Dewey Class. No.: 005.13