Montages specifications of realistic programming languages

Journal of Universal Computer Science

Volumn 3, Issue 5, 1997, Pages 416-442

  Kutter, Philipp W ^a   Pierantonio, Alfonso ^b  

^a ETH ZURICH   (Switzerland)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Abstract state machines; Language design; Modular specifications; Montages; Programming languages specifications; Visual formalisms

Indexed keywords

EID: 0011589605     PISSN: 0958695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (22)

1. [Anl97a]M. Anlauff. GEM a Graphical Editor for Montages, User Manual. ICSI, Berkeley, 1997.
2. [Anl97b]M. Anlauff. The Semantics of the Object-Oriented Programming Language Sather. Technical report, International Computer Science Institute, Berkeley, 1997. In preparation.
3. +87]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.
4. [BD96]E. Börger and I. Durdanović. Correctness of Compiling Occam to Transputer Code. Computer Journal, 39(1):52-92, 1996.
5. [BDR94]E. Börger, I. Durdanović, and D. Rosenzweig. Occam: Specification and Compiler Correctness. Part I: The Primary Model. In IFIP 13th World Computer Congress, Volume I: Technology/Foundations, pages 489-508. Elsevier, Amsterdam, 1994.
6. [BGM95]E. Börger, U. Glässer, and W. Müller. Formal Definition of an Abstract VHDL'93 Simulator by EA-machines. In Semantics of VHDL, volume 307 of The Kluwer International Series in Engineering and Computer Science. Kluwer, 1995.
7. [BR95]E. Börger and D. Rosenzweig. The WAM - Definition and Compiler Correctness, chapter 2, pages 20-90. Series in Computer Science and Artificial Intelligence. Elsevier Science B.V.North Holland, 1995.
8. [DCIG93]G. Del Castillo, Durdanović I., and U. Glässer. An Evolving Algebra Abstract Machine, volume 1092 of LNCS, pages 191-214. Springer Verlag, 1993.
9. [DGKP97]T. Despeyroux, M. Gaieb, P.W. Kutter, and A. Pierantonio. Natural Semantics of Static Aspects of Montages and Generated Tool Support using Centaur. Technical report, INRIA Sophia-Antipolis, 1997. In preparation.
10. [DiF97]B. DiFranco. Semantica Statica e Dinamica di SQL diretto (ISO 9075) mediante i Montaggi. Master's thesis, Università di L'Aquila, 1997. In preparation (in Italian).
11. [GH93]Y. Gurevich and J.K. Huggins. The Semantics of the C Programming Language, volume 702 of LNCS, pages 274-308. Springer Verlag, 1993.
12. [Gur95]Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Börger, editor, Specification and Validation Methods. Oxford University Press, 1995.
13. [Kah87]G. Kahn. Natural Semantics. In Proceedings of the Symp. on Theoretical Aspects of Computer Science, Passau, Germany, 1987.
14. [KH97]P.W. Kutter and J.K. Huggins. Abstraction from Evaluation Order and Sequentiality. in preparation, 1997.
15. [Knu68]D.E. Knuth. Semantics of Context-Free Languages. Math. Systems Theory, 2(2):127-146, 1968.
16. [KP97]P.W. Kutter and A. Pierantonio. The formal specification of oberon. J.UCS, 3(5), 1997. This volume.
17. +87], 1996.
18. [Kut97]P.W. Kutter. Dynamic Semantics of the Programming Language Oberon. TIK-Report 25, ETH Zürich, 1997.
19. [MJ94]L.S. Moss and D.E. Johnson. Grammar Formalisms Viewed As Evolving Algebras. Linguistics and Philosophy, 17:537-560, 1994.
20. [Ode89]M. Odersky. A New Approach to Formal Language Definition and its Application to Oberon. PhD thesis, ETH Zürich, 1989.
21. [PH94]A. Poetzsch-Heffter. Developing Efficient Interpreters Based on Formal Language Specifications. In Compiler Construction, volume 786 of Lecture Notes in Computer Science, pages 233-247. Springer-Verlag, 1994.
22. [Wal94]C. Wallace. The Semantics of the C++ Programming Language. In E. Bórger, editor, Specification and Validation Methods, pages 131-164. Oxford University Press, 1994.