Formal Verification of Transformations for Peephole Optimization

  • Authors:

  • Axel Dold;Friedrich W. von Henke;Holger Pfeifer;Harald Rueß

  • Affiliations:

  • -;-;-;-

  • Venue:
  • FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract