Open AccessFacilitating Modular Property-Preserving Extensions of Programming Languages
Author(s) -
Claus Pahl
Publication year - 1998
Publication title -
electronic workshops in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 1477-9358
DOI - 10.14236/ewic/fm1998.11
Subject(s) - computer science , programming language , first generation programming language , semantics (computer science) , denotational semantics , extension (predicate logic) , programming language specification , notation , language primitive , programming language implementation , operational semantics , modular design , low level programming language , embedding , language construct , programming domain , programming paradigm , artificial intelligence , linguistics , philosophy , inductive programming
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on the core. Language features can be described separated from each other in a self-contained, orthogonal way. We present an extension semantics framework consisting of mechanisms to adapt semantics of a basic language to new structural requirements in an extended language preserving the behaviour of programs of the basic language. Common templates of extension are provided. These can be collected in extension libraries accessible to and extendible by language designers. Mechanisms to extend these libraries are provided. A notation for describing language features embedding these semantics extensions is presented.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom