Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Herbert Stoyan
| Year of publication: |
1984
|
|---|---|
| Authors: | Stoyan, Herbert |
| Publisher: |
Berlin [u.a.] : Springer |
| Subject: | LISP | Codegenerierung | FORTRAN | Compiler | Programmtransformation |
| Extent: | 365 S. |
|---|---|
| Series: | Informatik-Fachberichte. - Berlin [u.a] : Springer. - Vol. 91 |
| Type of publication: | Book / Working Paper |
| Language: | German |
| ISBN: | 3-540-13895-1 ; 0-387-13895-1 |
| Source: |
Persistent link: https://www.econbiz.de/10004706331