Abaco User Manual
Definition
The Abaco (Algebraic Based Action COmpiler) is an editing environment for
action semantics. It contains tools that help the design of action semantics
descriptions. Once writen, this description can be used to provide the
semantics of valid source programs.
System Tools
To help the building of action semantics descriptions the system has
the following tools: