Verification of source code transformations by program equivalence checking

Kodamballi, ShashiShashiKodamballiBruynooghe, MauriceMauriceBruynoogheCatthoor, FranckyFranckyCatthoorJanssens, GerdaGerdaJanssens2021-10-162021-10-162005-04https://imec-publications.be/handle/20.500.12860/10720Verification of source code transformations by program equivalence checkingProceedings paper