Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

  • Herbert Stoyan

Part of the Informatik-Fachberichte book series (INFORMATIK, volume 91)

Table of contents

  1. Front Matter
    Pages N2-iv
  2. Herbert Stoyan
    Pages 1-6
  3. Herbert Stoyan
    Pages 281-359
  4. Back Matter
    Pages 360-369

About this book

Keywords

Code Compiler FORTRAN Maschinen Programmiersprache Semantik Sprache

Authors and affiliations

  • Herbert Stoyan
    • 1
  1. 1.IMMD 6Universität Erlangen-NürnbergErlangenDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-08525-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1984
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-13895-2
  • Online ISBN 978-3-662-08525-7
  • Series Print ISSN 0343-3005
  • About this book