Authors

Fu, Q.; Bruynooghe, M.; Janssens, G.; Catthoor, Francky

Conference

Program Acceleration through Application and Architecture driven Code Transformation - PA3CT

Title

On the problem of verification of source code transformations: a case study

Publication type

Proceedings paper

Embargo date

9999-12-31