Advertisement

Tool Support for Language Design and Prototyping with Montages

  • Matthias Anlauff
  • Philipp W. Kutter
  • Alfonso Pierantonio
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1575)

Abstract

In this paper, we describe the tool Gem-Mex, supporting Montages, a visual formalism for the specification of (imperative/object oriented) programming languages.

Keywords

Language Design Graph Grammar Graphical Notation Semantic Action Dynamic Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Anlauff, M.: The aslan reference manual. Technical report, GMD FIRST, Berlin, Germany (1998)Google Scholar
  2. 2.
    Börger, E., Huggins, J.: Commented asm bibliography. In: EATCS Bulletin, vol. 64, pp. 105–127 (1998), http://www.eecs.umich.edu/gasm
  3. 3.
    Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: Börger, E. (ed.) Specification and Validation Methods, Oxford University Press, Oxford (1995)Google Scholar
  4. 4.
    Kutter, P.W., Pierantonio, A.: Montages: Specification of Realistic Programming Languages. J. UCS 3(5), 416–442 (1997)zbMATHMathSciNetGoogle Scholar
  5. 5.
    Kutter, P.W., Schweizer, D., Thiele, L.: Integrating formal domain specific language design in the software life cycle. In: Hutter, D., Traverso, P. (eds.) FM-Trends 1998. LNCS, vol. 1641. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  6. 6.
    Rozenberg, G., Engels, G., Kreowski, H.J.: Handbook of Graph Grammars and Computing by Graph Transformations. World Scientific, Singapore (1997)zbMATHCrossRefGoogle Scholar
  7. 7.
    Waite, W.M., Goos, G.: Compiler Construction. Springer, Heidelberg (1984)zbMATHGoogle Scholar
  8. 8.
    Zimmermann, W., Gaul, T.: On the construction of correct compiler backends: An asm approach. J. UCS 3(5), 504–567 (1997)zbMATHMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Matthias Anlauff
    • 1
  • Philipp W. Kutter
    • 2
  • Alfonso Pierantonio
    • 2
  1. 1.GMD FIRSTBerlinGermany
  2. 2.Institute TIKETH ZürichSwitzerland

Personalised recommendations