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