Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
By: Herbert Stoyan
Series: Informatik-Fachberichte -- 91; Informatik-Fachberichte -- 91.
Publisher: Springer
Published: 1984
Place of publication: Berlin; New York
Language: ger
Format: [electronic resource] /
Number of pages: 365
ISBN-13: 9783662085257; 9783540138952; 9780387138954
Subjects: Compiling (Electronic computers); Programmtransformation; Codegenerierung
Notes: Includes bibliographical references (pages 360-365).

Restrictions unspecified

Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010.

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

digitized 2010 HathiTrust Digital Library committed to preserve

Print version record.
Table of contents: title: 1. Einleitung; title: 2. Lisp-Compilation Durch Semantikerhaltende Programmtransformationen; title: 3. Fortran-Compilation Durch Semantikerhaltende Programmtransformation; title: 4. Vergleiche und Konsequenzen; title: Literatur.