Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Tool support for language design and prototyping with Montages
 

Summary: Tool support for language design and
prototyping with Montages
Matthias Anlau 1, Philipp W. Kutter2, and Alfonso Pierantonio2
1
GMD FIRST, Berlin, Germany
2
Institute TIK, ETH Zurich, Switzerland
Abstract. In this paper, we describe the tool Gem-Mex, supporting
Montages, a visual formalism for the speci cation of imperative object
oriented programming languages.
Introduction Montages KP97 form a graphical notation for expressing the
syntax and semantics of imperative and object oriented languages. Every syntac-
tic construct has its meaning speci ed by a Montage, which consist of a diagram
de ning graphically the control and data ow, and textually the semantic ac-
tions of the construct. The control- ow edges show how behavior of the construct
is composed from the behavior of its components, and data- ow edges enable
semantic actions to access the attributes of the construct's components.
The Montages formalism is tuned towards ease of writability, readability,
maintenance, and reuse of speci cations. The hope is that, like Wirth's `syntax
diagrams', a graphical notation may help in making formal language descrip-

  

Source: Anlauff, Matthias - Kestrel Institute

 

Collections: Computer Technologies and Information Sciences