2nd International Workshop on the Theory and Practice of Algebraic Specifications, Amsterdam 1997
Matthias Anlauff, Alfonso Pierantonio · 1997
The specification of all aspects of a programming language requires adequate formal models and tool support. Montages specifications combine graphical and textual elements to yield language descriptions similar in structure, length, and complexity to those in common language manuals, but with a formal semantics. A broad range of people involved in programming language design and use may find it convenient to use Montages in combination with the tool GEM–MEX. It allows the automatic generation of high–quality documents, type–checkers, interpreters and symbolic debuggers.