|
|||||
|
|
Generating an action notation environment from Montages descriptions |
|
| Authors: | Matthias Anlauff Samarjit Chakraborty Philipp W. Kutter Alfonso Pierantonio Lothar Thiele |
| Affiliation: | GMD FIRST, Rudower Chaussee 5, 12489 Berlin, Germany; E-mail: ma@first.gmd.de, DE Institut TIK, Eidgen?ssische Technische Hochschule Zürich, ETH-Zentrum, 8092 Zürich, Switzerland; E-mail: {samarjit, kutter, thiele}@tik.ee.ethz.ch, CH Dipartimento di Mathematica Pura ed Applicata, Universitá di L’Aquila, 67100 L’Aquila, Italy; E-mail: alfonso@univaq.it, IT |
| Abstract: | |
| Keywords: | : Formal specification of programming languages – Generating programming environments and tools – Action semantics – Abstract state machines – Montages |
| 本文献已被 SpringerLink 等数据库收录！ | |