Skip to main content
SpringerLink
Log in

Enhanced Control Flow Graphs in Montages

  • Conference paper
  • First Online:
Perspectives of System Informatics (PSI 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1755))

Abstract

A semi-visual framework for the specification 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 specification 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 specific languages showed the close relationship to Finite State Machines (FSMs). This paper gives a new definition of Montages based on FSMs. It confers to the formalism enhanced pragmatic qualities, such as writability, extensibility, readability, and, in general, ease of maintenance.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Anlauff. The Aslan Language Manual. Part of the Aslan distribution.

    Google Scholar 

  2. M Anlauff, P.W. Kutter, and A. Pierantonio. Formal Aspects of and Development Environments for Montages. In M. Sellink, editor, 2nd Int. Workshop on the Theory and Practice of Alg. Spec., Workshops in Computing. Springer, 1997.

    Google Scholar 

  3. M. Anlauff, P. W. Kutter, and A. Pierantonio. The Gem-Mex Tool Homepage. http://www.first.gmd.de/~ma/gem/, 1997.

  4. M. Anlauff, P. W. Kutter, and A. Pierantonio. The Montages Project Web Page. http://www.tik.ee.ethz.ch/~montages, 1997.

  5. E. Börger and J. Huggins. Abstract state machines 1988–1998: Commented ASM bibliography. In H. Ehrig, editor, EATCS Bulletin, Formal Specification Column, number 64, pages 105–127. EATCS, February 1998.

    Google Scholar 

  6. E. Börger and D. Rosenzweig. A Mathematical Definition of Full Prolog. In Science of Computer Programming, volume 24, pages 249–286. North-Holland, 1994.

    Article  Google Scholar 

  7. P. Borra, D. Clement, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual. CENTAUR: The system. Technical Report 777, INRIA, Sophia Antipolis, 1987.

    Google Scholar 

  8. Y. Gurevich. Logic and the Challenge of Computer Science. In E. Börger, editor, Theory and Practice of Software Engineering, pages 1–57. CS Press, 1988.

    Google Scholar 

  9. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Börger, editor, Specification and Validation Methods. Oxford University Press, 1995.

    Google Scholar 

  10. Y. Gurevich and J. K. Huggins. The Semantics of the C Programming Language, volume 702 of LNCS, pages 274–308. Springer, 1993.

    Google Scholar 

  11. A Heberle, W. Löwe, and M. Trapp. Safe reuse of source to intermediate language compilations. 9th Int. Symposium on Software Reliability Engineering, 1998. http://chillarege.com/issre/fastabstracts/98417.html.

  12. G. Hedin. Reference attribute grammars. In Second Workshop on Attribute Grammars and Their Applications, pages 153–172, 1999.

    Google Scholar 

  13. J. Huggins. Abstract State Machines Web Page. http://www.eecs.umich.edu/gasm.

  14. G. Kahn. Natural Semantics. In Proceedings of the Symp. on Theoretical Aspects of Computer Science, Passau, Germany, 1987.

    Google Scholar 

  15. P. W. Kutter. Executable Specification of Oberon Using Natural Semantics. Term Work, ETH Zürich, implementation on the Centaur System [7], 1996.

    Google Scholar 

  16. P. W. Kutter and F. Haussmann. Dynamic Semantics of the Programming Language Oberon. Term work, ETH Zürich, July 1995. A revised version appeared as technical report of Institut TIK, ETH, number 27, 1997.

    Google Scholar 

  17. P. W. Kutter and A. Pierantonio. Montages: Specifications of Realistic Programming Languages. JUCS, Springer, 3(5):416–442, 1997.

    MATH  MathSciNet  Google Scholar 

  18. P. W. Kutter and A. Pierantonio. The Formal Specification of Oberon. JUCS, Springer, 3(5):443–503, 1997.

    MATH  MathSciNet  Google Scholar 

  19. P. W. Kutter, D. Schweizer, and L. Thiele. Integrating Formal Domain-Specific Language Design in the Software Life Cycle. In Current Trends in Applied Formal Methods, LNCS. Springer, October 1998.

    Google Scholar 

  20. P. D. Mosses. Theory and Practice of Action Semantics. In MFCS’96, 21st International Symposium, volume 1113 of LNCS, pages 37–61. Springer Verlag, 1996.

    Google Scholar 

  21. M. Odersky. A New Approach to Formal Language Definition and its Application to Oberon. PhD thesis, ETH Zürich, 1989.

    Google Scholar 

  22. A. Poetzsch-Heffter. Prototyping realistic programming languages based on formal specifications. Acta Informatica, 34:737–772, 1997. 1997.

    Article  MATH  MathSciNet  Google Scholar 

  23. D. A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn & Bacon, 1986.

    Google Scholar 

  24. A. van Deursen, J. Heering, and P. Klint, editors. Language Prototyping — An Algebraic Approach, volume 5 of AMAST Series in Computing. World Scientific, 1996.

    Google Scholar 

  25. C. Wallace. The Semantics of the Java Programming Language: Preliminary Version. Technical Report CSE-TR-355-97, University of Michigan EECS Department Technical Report, 1997.

    Google Scholar 

  26. N. Wirth. The Programming Language Oberon. Software-Practice and Experience, 18(7):671–690, 1988.

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. GMD FIRST, D-12489, Berlin

    Matthias Anlauff

  2. Federal Institute of Technology, CH-8092, Zürich

    Philipp W. Kutter

  3. Università di L’Aquila, I-67100, L’Aquila

    Alfonso Pierantonio

Authors
  1. Matthias Anlauff
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Philipp W. Kutter
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alfonso Pierantonio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Technology, Technical University of Denmark, Bldg. 244, 2800, Lyngby, Denmark

    Dines Bjøner

  2. Computer Science Department, Technical University of Munich, Arcisstr. 21, 80290, Munich, Germany

    Manfred Broy

  3. A.P. Ershov Institute of Informatics Systems, av. Ac. Lavrentyev 6, Novosibirsk, 630090, Russia

    Alexandre V. Zamulin

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Anlauff, M., Kutter, P.W., Pierantonio, A. (2000). Enhanced Control Flow Graphs in Montages. In: Bjøner, D., Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 1999. Lecture Notes in Computer Science, vol 1755. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46562-6_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-46562-6_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67102-2

  • Online ISBN: 978-3-540-46562-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation