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

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 9783540138952 | ISBN 3-540-13895-1 | ISBN 978-3-540-13895-2

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

Einband - flex.(Paperback)
 
Softcover
368 Seiten
erschienen am
01.12.1984
Rubrik
Compiler und Übersetzer
ISBN-10
3-540-13895-1
Lieferstatus
verfügbar
Preis
54,99 €*
Buch 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)

Ankaufspreise

Ankaufspreise ermitteln
Veranstaltung eintragen

Passend

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

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