An action environment

M.G.J. Brand, van den, J. Iversen, P.D. Mosses

Research output: Contribution to journalArticleAcademicpeer-review

16 Citations (Scopus)

Abstract

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 Action Semantic Description 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.
Original languageEnglish
Pages (from-to)245-264
JournalScience of Computer Programming
Volume61
Issue number3
DOIs
Publication statusPublished - 2006

Fingerprint

Semantics
Computer programming languages

Cite this

Brand, van den, M.G.J. ; Iversen, J. ; Mosses, P.D. / An action environment. In: Science of Computer Programming. 2006 ; Vol. 61, No. 3. pp. 245-264.
@article{398f9d6fc2e34088a677b8fd0c6084c2,
title = "An action environment",
abstract = "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 Action Semantic Description 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.",
author = "{Brand, van den}, M.G.J. and J. Iversen and P.D. Mosses",
year = "2006",
doi = "10.1016/j.scico.2006.04.005",
language = "English",
volume = "61",
pages = "245--264",
journal = "Science of Computer Programming",
issn = "0167-6423",
publisher = "Elsevier",
number = "3",

}

An action environment. / Brand, van den, M.G.J.; Iversen, J.; Mosses, P.D.

In: Science of Computer Programming, Vol. 61, No. 3, 2006, p. 245-264.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - An action environment

AU - Brand, van den, M.G.J.

AU - Iversen, J.

AU - Mosses, P.D.

PY - 2006

Y1 - 2006

N2 - 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 Action Semantic Description 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.

AB - 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 Action Semantic Description 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.

U2 - 10.1016/j.scico.2006.04.005

DO - 10.1016/j.scico.2006.04.005

M3 - Article

VL - 61

SP - 245

EP - 264

JO - Science of Computer Programming

JF - Science of Computer Programming

SN - 0167-6423

IS - 3

ER -