Since 2014
An Action Environment
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
An Action Environment
|
|
| Creator |
Brand, Mark van den
Iversen, Jørgen Mosses, Peter D. |
|
| Description |
Some basic programming constructs (e.g., conditional statements) are found in many different programming languages, and can often be included without change when a new language is designed. When writing a semantic description of a language, however, it is usually not possible to reuse parts of previous descriptions without change. This paper introduces a new formalism, ASDF, which has been designed specifically for giving reusable action semantic descriptions of individual language constructs. An initial case study in the use of ASDF has already provided reusable descriptions of all the basic constructs underlying Core ML. The paper also describes the Action Environment, a new environment supporting use and validation of ASDF descriptions. The Action Environment has been implemented on top of the ASF+SDF Meta-Environment, exploiting recent advances in techniques for integration of different formalisms, and inheriting all the main features of the Meta-Environment.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
2004-12-11
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/21861
10.7146/brics.v11i36.21861 |
|
| Source |
BRICS Report Series; No 36 (2004): RS-36 An Action Environment
BRICS Report Series; No 36 (2004): RS-36 An Action Environment 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/21861/19288
|
|
| Rights |
Copyright (c) 2015 BRICS Report Series
|
|