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: