Formal Aspects of and Development Environments for Montages | Zendy

Matthias Anlauff | Zendy; P Kutter | Zendy; Alfonso Pierantonio | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formal Aspects of and Development Environments for Montages

Author(s) -

Matthias Anlauff,

P Kutter,

Alfonso Pierantonio

Publication year - 1997

Publication title -

electronic workshops in computing

Language(s) - English

Resource type - Conference proceedings

ISSN - 1477-9358

DOI - 10.14236/ewic/al1997.1

Subject(s) - computer science , programming language , programming language specification , interpreter , first generation programming language , formal semantics (linguistics) , semantics (computer science) , formal specification , formal methods , object language , specification language , formal language , operational semantics , natural language processing , programming paradigm , programming domain , natural language , inductive programming

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research