Media type: Book Title: A generic specification for verifying peephole optimizations Contributor: Dold, Axel [Other] imprint: Ulm: Univ., Fak. für Informatik, 1995 Published in: Ulmer Informatik-Berichte ; 95,14 Extent: 23 S. Language: English RVK notation: SS 5525 : Ulmer Informatik-Berichte Keywords: Verifikation > Maschinencode > Optimierung Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 96 4 13009 001 Item ID: 10012555 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order