Media type: Text; E-Article Title: Towards the verification of optimizing transformations for imperative programs Contributor: Kock, Gerhard [Author] Published: KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Language: English Keywords: DATA processing & computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.