The ABS Core Tools

The ABS Core Tools consists of a parser, a type-checker, a Java generator, and a Maude generator. To use the core tools, download the JAR file below. How to execute the core tools using Ant is described here.

Download

JAR File

absfrontend.jar - JAR file containing the ABS core tools