TY - GEN
AU - Dold, Axel
AU - Henke, Friedrich Wilhelm von
AU - Pfeifer, Holger
AU - Rueß, Harald
TI - A generic specification for verifying peephole optimizations
PB - Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik
KW - Computer programs. Verification
KW - Maschinencode
KW - Optimierung
KW - Verifikation
PY - 2010
BT - Ulmer Informatik-Berichte ; 95,14
CY - Ulm
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation