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

Autor:	H. Stoyan
Předmět:	Compilers (Computer programs), Software engineering
Kategorie:	COMPUTERS / Programming / Compilers, COMPUTERS / Software Development & Engineering / General
Databáze:	eBook Index
Externí odkaz:	Zobrazit plný text záznamu