E-Books durchsuchen
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation [1984]
- 1
-
Einleitung
- 7
-
LISP-Compilation Durch Semantikerhaltende Programmtransformationen
- 171
-
Fortran-Compilation Durch Semantikerhaltende Programmtransformation
- 281
-
Vergleiche und Konsequenzen