A Haskell Implementation of a Rule-Based Program Transformation for C Programs.

Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mario

Browse the full PADL paper archive.