Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Formal Aspects of and Development Environments for Montages

    2nd International Workshop on the Theory and Practice of Algebraic Specifications

    Amsterdam, 25th - 26th September 1997


    M. Anlauff, P.W. Kutter & A. Pierantonio


    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.


    PDF filePDF Version of this Paper (132kb)