Summary: Enhanced Control Flow Graphs in Montages
Matthias Anlau 1, Philipp W. Kutter2, and
Alfonso Pierantonio3
1 GMD FIRST, D-12489 Berlin
ma@first.gmd.de
2 Federal Institute of Technology, CH-8092 Zurich
kutter@tik.ee.ethz.ch
3 Universita di L'Aquila, I-67100 L'Aquila
alfonso@univaq.it
Abstract. A semi-visual framework for the speci cation of syntax and
semantics of imperative programming languages, called Montages, was
proposed in an earlier work by the authors. The primary aim of this
formalism is to assist in recording the decisions taken by the designer
during the language design process. The associated tool Gem-Mex allows
the designer to maintain the speci cation and to inspect the semantics
to verify whether the design decisions have been properly formalized.
Experience with full-scale case studies on Oberon, Java, and domain
speci c languages showed the close relationship to Finite State Machines
FSMs. This paper gives a new de nition of Montages based on FSMs. It
confers to the formalism enhanced pragmatic qualities, such as writabil-