Title Compiler specification and verification / Wolfgang Polak

Published Berlin ; New York : Springer-Verlag, 1981

Click on the following:
Springer eBooks

Copies

Description 1 online resource (xiii, 269 pages) : illustrations Series Lecture notes in computer science ; 124 Lecture notes in computer science ; 124. Contents Theoretical framework -- Source and target languages -- The compiler proof -- Conclusions Bibliography Includes bibliographical references (pages 146-155) Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL Print version record Subject Compilers (Computer programs) Computer programs -- Verification. Computer software -- Verification. Computer software -- Verification Compilers (Computer programs) Computer programs -- Verification Compiler Programmierung Verifikation Compilers. Form Electronic book ISBN 9783540387954 3540387951

  Permalink