Towards a transformational approach to p
β
Myla Archer; Amy Lo; Ronald A. Olsson
π
Article
π
1999
π
John Wiley and Sons
π
English
β 182 KB
π 1 views
Although most typically used in other contexts, program transformations can simplify program verification by transforming a program containing complex language features into a semantically equivalent program containing only simpler language features. The proof of the transformed program can then be