Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
H. Stoyan
Themen in »Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation«
Code Compiler FORTRAN Maschinen Programmiersprache Semantik Sprache
Stimmen zu »Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation«
Details
ISBN: 9783540138952
Verlag: Springer Berlin
Erscheinung: 01.12.1984