Formal Aspects of and Development Environments for Montages (1997)

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

Active Bibliography

2 Enhanced Control and Data Flow Graphs in Montages – Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio - 1998
3 Montages: Unified Static and Dynamic Semantics of Programming Languages – Philipp Kutter, Alfonso Pierantonio - 1996
30 Montages specifications of realistic programming languages – Philipp W. Kutter, Alfonso Pierantonio - 1997
5 Enhanced Control Flow Graphs in Montages – Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio - 1999
4 Integrating State Charts in Specware and Aspects of Correct Oberon Code Generation – Philipp W. Kutter - 1996
2 Integrating Domain Specific Language Design in the Software Life Cycle – Philipp W. Kutter, Daniel Schweizer, Lothar Thiele - 1998
2 Dynamic Semantics of the Oberon Programming Language – Philipp W. Kutter - 1996
3 State Transitions modeled as Refinements – Philipp Kutter - 1996
5 The Static and Dynamic Semantics of C – James K. Huggins, Wuwei Shen - 2000
Enhanced Control Flow Graphs in Montages – Matthias Anlau, Alfonso Pierantonio
6 Generating an Action Notation Environment from Montages Descriptions – Matthias Anlauff, Samarjit Chakraborty, Philipp W. Kutter, Alfonso Pierantonio, Lothar Thiele - 2001
1 The Semantics of the Java Programming Language – Charles Wallace - 1997
21 The Formal Specification of Oberon – Philipp W. Kutter, Alfonso Pierantonio - 1997
1 Montages/Gem-Mex: a meta visual programming generator – M. Anlauff, P. W. Kutter, A. Pierantonio - 1998
14 The Semantics of the Java Programming Language: Preliminary Version – Charles Wallace - 1997
Specyfikacja I Optymalizacja Programw W – Smalltalku Marcin Ml, Praca Doktorska, Promotor Prof, Leszek Pacholski, Instytut Informatyki
17 Integrating ASMs into the Software Development Life Cycle – Egon Börger, Luca Mearelli - 1997
Dynamic Semantics for Language-Based Programming Environments Revisited – Matthias Anlauff, Samarjit Chakraborty, Philipp W. Kutter, Alfonso Pierantonio, Lothar Thiele - 1999
1 The Varieties of Programming Language Semantics And Their Uses – Peter D. Mosses - 2001