Formal Aspects of and Development Environments for Montages (1997)

by Matthias Anlauff , Philipp W. Kutter , Alfonso Pierantonio
Citations:33 - 13 self

Documents Related by Co-Citation

405 Evolving Algebras 1993: Lipari Guide – Yuri Gurevich - 1995
19 Abstract State Machines 1988–1998: Commented ASM Bibliography – Egon Börger, James K. Huggins - 1998
153 Logic and the Challenge of Computer Science – Yuri Gurevich - 1988
21 The Formal Specification of Oberon – Philipp W. Kutter, Alfonso Pierantonio - 1997
14 Dynamic Semantics of the Programming Language Oberon. Term work – P W Kutter, F Haussmann - 1995
6 The Gem-Mex Tool Homepage. http://www.first.gmd.de/ ma/gem – P W Kutter, A Pierantonio - 1997
14 The Semantics of the Java Programming Language: Preliminary Version – Charles Wallace - 1997
30 Montages specifications of realistic programming languages – Philipp W. Kutter, Alfonso Pierantonio - 1997
33 Semantics of Programming Languages: A Tool-Oriented Approach – Jan Heering, Paul Klint, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Paul Klint - 1999
83 The Semantics of the C Programming Language – Yuri Gurevich, James K. Huggins - 1993
44 The Semantics of the C++ Programming Language – Charles Wallace - 1993
4 Enhanced control graphs in Montages – M Anlau, P Kutter, A Pierantonio - 1999
54 A Mathematical Definition of Full Prolog – Egon Börger, Dean Rosenzweig - 1994
12 A New Approach to Formal Language Definition and its Application to Oberon – M Odersky - 1989
325 Denotational Semantics: A Methodology for Language Development – David A Schmidt - 1986
134 CENTAUR: the system – P. Borras, D. Clément, Th. Despeyroux, J. Incerpi, G. Kahn, B. Lang, V. Pascual - 1988
11 Description and Simulation of Microprocessor Instruction Sets Using ASMs – Jürgen Teich, Philipp Kutter, Ralph Weper - 2000
9 Programmable Chips in Consumer Electronics and Telecommunications – G. Goossens, J. van Praet, D. Lanneer, W. Geurts, F. Thoen - 1996
81 Describing instruction set processors using nML – A. Fauth, J. Van Praet, M. Freericks - 1995