KIT | KIT-Bibliothek | Impressum | Datenschutz

Towards the verification of optimizing transformations for imperative programs

Kock, Gerhard



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 1990
Sprache Englisch
Identifikator KITopen-ID: 188890
Erscheinungsvermerk Microprocess. and microprogramm. 30 (1990) S. 185-192.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page