Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Montages


Citation: Philipp W. Kutter and Alfonso Pierantonio, "Montages: Specifications of Realistic Programming Languages", Journal of Universal Computer Science, vol. 3, no. 5 (1997), 416--442.
Summary: The authors introduce Montages, a version of ASMs specifically tailored for specifying the static and dynamic semantics of programming languages. Montages combine graphical and textual elements to yield specifications similar in structure, length, and complexity to those in common language manuals, but with a formal semantics.
Subjects: Montages
Download: PostScript, PDF, Compressed PostScript
Notes: (Courtesy of Springer-Verlag.)