Functional equivalence checking for verification of transformations on array-intensive programs

Kodamballi, ShashiShashiKodamballi2021-10-162021-10-162005https://imec-publications.be/handle/20.500.12860/10718Functional equivalence checking for verification of transformations on array-intensive programsOral presentation