Formal Aspects of and Development Environments for Montages

Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio
1997 unpublished
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
more » ... omatic generation of high-quality documents, type-checkers, interpreters and symbolic debuggers.
doi:10.14236/ewic/al1997.1 fatcat:bmin64walzhatfthk3tvfwr5me