Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation von H. Stoyan | ISBN 9783662085257

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

von H. Stoyan
Buchcover Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation | H. Stoyan | EAN 9783662085257 | ISBN 3-662-08525-9 | ISBN 978-3-662-08525-7

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

von H. Stoyan

Inhaltsverzeichnis

  • 1. Einleitung.
  • 2. Lisp-Compilation Durch Semantikerhaltende Programmtransformationen.
  • 3. Fortran-Compilation Durch Semantikerhaltende Programmtransformation.
  • 4. Vergleiche und Konsequenzen.
  • Literatur.

ISBN-Daten

Digitalprodukt / E-Book
 
eBook, PDF
368 Seiten
Auflage
1984
erschienen am
09.03.2013
Rubrik
Compiler und Übersetzer
ISBN-10
3-662-08525-9
Lieferstatus
verfügbar
Preis
42,99 €*
eBook kaufen

Lokal-Verfügbarkeit

 
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)
Veranstaltung eintragen

Passend

Buchcover Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation