Media type: Book; Thesis Title: Contributions to mechanical proofs of correctness for compiler front ends Contributor: Weber-Wulff, Debora [Author] Published: Kiel: Inst. für Informatik und Praktische Mathematik, 1997 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9707 Extent: 6, 186 S.; graph. Darst Language: English Keywords: Korrektheit > Übersetzerbau > Automatisches Beweisverfahren Origination: University thesis: Zugl.: Kiel, Univ., Diss., 1996 Footnote: