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

Carlos Morra, Jrgen Becker, Mauricio Ayala-Rincn, Reiner W. Hartenstein

Browse the full FPL paper archive.