Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 1981

Compiler Specification and Verification

Editors:

  1. Wolfgang Polak
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 124)

Sections

Buy it now

Softcover Book USD 39.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (5 chapters)

  1. Front Matter

    PDF

  2. Introduction

    Pages 1-27

  3. Theoretical framework

    Pages 28-50

  5. The compiler proof

    Pages 82-137

  6. Conclusions

    Pages 138-145

  7. Back Matter

    PDF
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Compiler Specification and Verification

  • Editors: Wolfgang Polak

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-10886-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1981

  • Softcover ISBN: 978-3-540-10886-3Published: 01 October 1981

  • eBook ISBN: 978-3-540-38795-4Published: 05 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 272

  • Topics: Programming Languages, Compilers, Interpreters

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 39.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation