JavaANI Download
JavaANI is a Java application that allows the evaluation of actions. It can be executed as an Applet inside some HTML page or in standalone mode.
ABACO Download
Abaco (Algebraic Based Action COmpiler) is an development environment that helps the definiton of action semantics
descriptions of programming languages.
Abaco Downloads:
System Requirements
The Abaco System needs the following components to run:
-
Sun Java runtime system V1.3.1 or any compatible Java implementation (if
you do not have download from http://www.javasoft.com).
-
CPU: Pentium 500 MHz or equivalent.
-
64 MB of free RAM
-
Any operating system supported by Java 2.
Additional Information
If you have some questions or comments about the system or want to know
about new releases of this system. Please
contact us by the following address: rat@cin.ufpe.br.
There is a list where we will announce new versions, bug fixes, answered questions, etc. To subscribe
send an e-mail to majordomo@cin.ufpe.br with the body
"subscribe abaco-l".
Last edited by Luis Carlos on
17 Apr 2004.