Pahl, Claus ORCID: 0000-0002-9049-212X (1998) Facilitating modular property-preserving extensions of programming languages. In: 2nd Irish Workshop on Formal Methods, 2-3 July 1998, Cork, Ireland.
Abstract
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.
Metadata
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Event Type: | Workshop |
Refereed: | Yes |
Uncontrolled Keywords: | Formal methods; modular programming languages |
Subjects: | Computer Science > Software engineering |
DCU Faculties and Centres: | DCU Faculties and Schools > Faculty of Engineering and Computing > School of Computing |
Publisher: | BCS |
Copyright Information: | © 1998 BCS |
Use License: | This item is licensed under a Creative Commons Attribution-NonCommercial-Share Alike 3.0 License. View License |
ID Code: | 17204 |
Deposited On: | 20 Aug 2012 09:46 by Claus Pahl . Last Modified 19 Jan 2021 15:08 |
Documents
Full text available as:
Preview |
PDF
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
185kB |
Downloads
Downloads
Downloads per month over past year
Archive Staff Only: edit this record