Compiler Specification and Verification von W. Polak | ISBN 9783540387954

Compiler Specification and Verification

von W. Polak
Buchcover Compiler Specification and Verification | W. Polak | EAN 9783540387954 | ISBN 3-540-38795-1 | ISBN 978-3-540-38795-4

Compiler Specification and Verification

von W. Polak

Inhaltsverzeichnis

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