Ebook: Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Author: Herbert Stoyan (auth.)
- Tags: Programming Languages Compilers Interpreters, Software Engineering
- Series: Informatik-Fachberichte 91
- Year: 1984
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: German
- pdf
Content:
Front Matter....Pages N2-iv
Einleitung....Pages 1-6
LISP-Compilation Durch Semantikerhaltende Programmtransformationen....Pages 7-169
Fortran-Compilation Durch Semantikerhaltende Programmtransformation....Pages 171-280
Vergleiche und Konsequenzen....Pages 281-359
Back Matter....Pages 360-369
Content:
Front Matter....Pages N2-iv
Einleitung....Pages 1-6
LISP-Compilation Durch Semantikerhaltende Programmtransformationen....Pages 7-169
Fortran-Compilation Durch Semantikerhaltende Programmtransformation....Pages 171-280
Vergleiche und Konsequenzen....Pages 281-359
Back Matter....Pages 360-369
....
Download the book Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)