Formal Verification of Transformations for Peephole Optimization (1997)

Cached

Download Links

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