Journal article 1326 views
Semantics of programming languages: Using Asf+Sdf
Science of Computer Programming
Swansea University Author:
Peter Mosses
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1016/j.scico.2013.11.038
Abstract
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...
Published in: | Science of Computer Programming |
---|---|
Published: |
2013
|
URI: | https://cronfa.swan.ac.uk/Record/cronfa17527 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Abstract: |
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. |
---|---|
College: |
Faculty of Science and Engineering |