Semantics of programming languages: Using Asf+Sdf

A semantic specification of a programming language can be relevant for programmers to understand software written in the language, as well as for the implementers of a language to understand the intentions of its designers. In the early 1980s, Jan Heering and Paul Klint envisioned complete language...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Science of computer programming Ročník 97; s. 2 - 10
Hlavní autor: Mosses, Peter D.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 01.01.2015
Témata:
Action semantics
ASF+SDF
Component-based semantics
Modularity
Reuse
ASF+SDF
Action semantics
Modularity
Component-based semantics
Reuse
ISSN:0167-6423, 1872-7964
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:A semantic specification of a programming language can be relevant for programmers to understand software written in the language, as well as for the implementers of a language to understand the intentions of its designers. In the early 1980s, Jan Heering and Paul Klint envisioned complete language specifications as libraries of reusable individual constructs, supported by a generic programming environment. This led to the development of the Asf+Sdf specification language and its Meta-Environment. This paper first recalls how programming languages can be specified in Asf+Sdf. It then analyses the apparent difficulty of reusing the specifications of individual constructs, and considers some alternative styles of semantics that have been supported using Asf+Sdf and its Meta-Environment. It is suggested that these alternative styles could facilitate reuse when specifying programming languages in Rascal, which has superseded Asf+Sdf. •We recall how programming languages can be specified in ASF+SDF.•We analyse the reusability of ASF+SDF specifications of individual constructs.•Some alternative styles of semantics provide greater reusability than ASF+SDF.•Component-based semantics is based on reusable fundamental constructs (funcons).•Our analysis could influence the evolution of Rascal, which has superseded ASF+SDF.
ISSN:0167-6423
1872-7964
DOI:10.1016/j.scico.2013.11.038