The CoFI-Tools Group Home Page
CoFI Tools
Aims and scope
Members
CASL Tool Set
Heterogeneous Tool Set
Related tools
Rewrite engines
Provers
Papers
How to join
REWRITE ENGINES
ELAN
The ELAN compiler handles
many-sorted conditional equations (+ strategies)
AC patterns
written in JAVA, produces C code.
ASF+SDF
The ASF+SDF compiler handles
many-sorted conditional equations
associative lists
written in ASF+SDF, bootstrapped, produces C code
Back to CoFI-TOOLS Home Page