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
E-mail

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