Media type: E-Book Title: A generic specification for verifying peephole optimizations Contributor: Dold, Axel [Other]; Henke, Friedrich Wilhelm von [Other]; Pfeifer, Holger [Other]; Rueß, Harald [Other] imprint: Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010 Published in: Ulmer Informatik-Berichte ; 95,14 Extent: Online-Ressource Language: English Identifier: RVK notation: SS 5525 : Ulmer Informatik-Berichte Keywords: Computer programs. Verification ; Maschinencode ; Optimierung ; Verifikation Origination: Footnote: Access State: Open Access