Formal Aspects of and Development Environments for Montages

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.

Content

Author and article information

Conference

Publication date: September 1997

Publication date (Print): September 1997

Pages: 1-16

Affiliations

[0001]International Computer Science Institute

Berkeley, CA, USA

[0002]Eidgenössische Technische Hochschule

Zürich, Switzerland

[0003]Università di L’Aquila

Article

DOI: 10.14236/ewic/AL1997.1

SO-VID: cf5cc5a3-d114-4bff-a24c-340b2f9b411d

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications

Conference acronym: AS

Conference number: 2

Conference location: Amsterdam

Conference date: 25-26 September 1997

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Theory and Practice of Algebraic Specifications

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/AL1997.1

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Formal Aspects of and Development Environments for Montages

Abstract