Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktGeschenkefinderGutscheineFirmenkundschaftFilialen
0
Erweiterte Suche
⚡Nur noch heute: 10% auf alle Bücher
Jetzt profitieren

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

Von:
H. Stoyan

Beschreibung

Inhalt

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

Format auswählen

E-Book (pdf)
CHF48.90
Kartonierter Einband
CHF 63.20
CHF56.90
CHF48.90
Download steht sofort bereit 
Kein Rückgaberecht 
10% Rabatt auf alle Bücher

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

Inhalt

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

Produktinformationen

Titel:
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Autor:
H. Stoyan
EAN:
9783662085257
Format:
E-Book (pdf)
Hersteller:
Springer Berlin
Veröffentlichung:
09.03.2013
Digitaler Kopierschutz:
Wasserzeichen
Anzahl Seiten:
368
Auflage:
1984
Lesemotiv:
Verstehen

Tags

#Code, #Compiler, #Fortran, #Maschinen, #Programmiersprache, #Semantik, #Sprache

Mehr entdecken: Informatik, EDV

Allgemeines, Lexika, Anwendungs-Software, Betriebssysteme, Benutzeroberflächen, Datenkommunikation, Netzwerke, Hardware, Informatik, Programmiersprachen, Sonstiges