| CoFI Tools | |
|
Aims and scope |
|
|
Members |
|
CASL Tool Set |
|
Heterogeneous Tool Set |
|
Related tools |
| Rewrite engines | |
| Provers | |
|
|
Papers |
|
|
How to join |
 |
-
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
