FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations.

Carlos Morra Jürgen Becker Mauricio Ayala-Rincón Reiner W. Hartenstein FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations. 25-30 2005 conf/fpl/2005 FPL db/conf/fpl/fpl2005.html#MorraBAH05