Skip to main content
SpringerLink
Log in

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

  • Book
  • © 1984

Overview

Authors:
  1. Herbert Stoyan

    1. IMMD 6, Universität Erlangen-Nürnberg, Erlangen, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

  • 92 Accesses

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

Access this book

Log in via an institution
eBook USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (4 chapters)

  1. Front Matter

    Pages N2-iv
    Download chapter PDF

  2. Einleitung

    • Herbert Stoyan
    Pages 1-6

  3. LISP-Compilation Durch Semantikerhaltende Programmtransformationen

    • Herbert Stoyan
    Pages 7-169

  4. Fortran-Compilation Durch Semantikerhaltende Programmtransformation

    • Herbert Stoyan
    Pages 171-280

  5. Vergleiche und Konsequenzen

    • Herbert Stoyan
    Pages 281-359

  6. Back Matter

    Pages 360-369
    Download chapter PDF
Back to top

Keywords

Authors and Affiliations

  • IMMD 6, Universität Erlangen-Nürnberg, Erlangen, Deutschland

    Herbert Stoyan

Bibliographic Information

  • Book Title: Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

  • Authors: Herbert Stoyan

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-662-08525-7

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1984

  • Softcover ISBN: 978-3-540-13895-2Published: 01 December 1984

  • eBook ISBN: 978-3-662-08525-7Published: 09 March 2013

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: IV, 368

  • Topics: Programming Languages, Compilers, Interpreters, Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation