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.