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

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

Link teilen