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