Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Abstract interpretation of declarative languages
Abstract interpretation of declarative languages
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Notions of computation and monads
Information and Computation
Action semantics
The essence of functional programming
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The RAISE specification language
The RAISE specification language
The structure of typed programming languages
The structure of typed programming languages
On integration of programming paradigms
ACM Computing Surveys (CSUR)
Control flow semantics
Abstract interpretation of reactive systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular Denotational Semantics for Compiler Construction
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
On the Transformation between Direct and Continuation Semantics
Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics
Data Reification without Explicit Abstraction Functions
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
The RAISE Specification Langiage: A Tutorial
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
Denotational semantics and refinement
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Modular composition of language features through extensions of semantic language models
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
| Hi-index | 0.00 |
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.