Specification Compiler
The specification compiler is used by the
system interface to process action semantics descriptions. It receives a source
specification, written in the algebraic formalism
used by the Abaco, processes it to find syntactical errors, and produces interpreters for the
specification.
The produced interpreter is able to recognize valid terms and evaluate them. Evaluate a term
means to reduce it by applyng the rewriting equations contained in the source specification.