 |
|
|||
| Authors: | Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio, Lothar Thiele |
| Group: | Computer Engineering |
| Type: | Inproceedings |
| Title: | Generating an Action Notation Environment from Montages Descriptions |
| Year: | 1999 |
| Month: | March |
| Pub-Key: | AKPT99 |
| Book Titel: | BRICS Notes Series. Proceedings of the Second International Workshop on Action Semantics |
| Volume: | 3 |
| Pages: | 1-41 |
| Keywords: | Montages, Programming Environment, Action Semantics |
| Abstract: | In the present paper, a methodology is presented which enables the implementation of the Action Notation formalism based on a formal and modular specification. As a result, an interpreter and debugger is automatically generated which allows the visualization of an Action Notation program execution and the inspection of all semantic identities in terms of the given formal specification. These results are based on several new concepts. At first, a formal description of Action Notation is provided by means of Montages. Montages are a semi-visual formalism for the specification of syntax and semantics of programming languages. Moreover, the structuring of Action Notation via facets is refined and used to define a new specification architecture that ensures the required modularity. The tool support for Montages (Gem-Mex) automatically generates a prototypical implementation from the language s Montages specification. |
| Remarks: | Proceedings of the Second International Workshop on Action Semantics, Amsterdam, The Netherlands, BRICS Notes Series, NS-99-3, pages 1 - 41 |
| Location: | Amsterdam, The Netherland |
| Resources: | [BibTeX] [Paper as PDF] [Slides as PDF] |
