Login / Signup
FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations.
Carlos Morra
Jürgen Becker
Mauricio Ayala-Rincón
Reiner W. Hartenstein
Published in:
FPL (2005)
Keyphrases
</>
logic programming
efficient implementation
multi valued
rewrite rules
computational properties
automatically generating
set theory
sound and complete axiomatization
database
data sets
databases
special case
modal logic
rewriting rules