Formal Verification of Transformations for Peephole Optimization (1997)
by
A. Dold
,
F. W. Von Henke
,
H. Pfeifer
,
H. Rueß
| Venue: | In FME '97: Formal Methods: Their Industrial Application and Strengthened Foundations, Lecture Notes in Computer Science |
| Citations: | 3 - 1 self |
Document Versions
| Formal Verification of Transformations for Peephole Optimization –A. Dold, F. W. Von Henke, H. Pfeifer, H. Rueß — 1997 — In FME '97: Formal Methods: Their Industrial Application and Strengthened Foundations, Lecture Notes in Computer Science |
