Back to Search
Start Over
Executable component-based semantics
- Source :
- Journal of Logical and Algebraic Methods in Programming vol. 103, pp. 184-212
- Publication Year :
- 2019
-
Abstract
- The potential benefits of formal semantics are well known. However, a substantial amount of work is required to produce a complete and accurate formal semantics for a major language; and when the language evolves, large-scale revision of the semantics may be needed to reflect the changes. The investment of effort needed to produce an initial definition, and subsequently to revise it, has discouraged language developers from using formal semantics. Consequently, many major programming languages (and most domain-specific languages) do not yet have formal semantic definitions.To improve the practicality of formal semantic definitions, the PLanCompS project has developed a component-based approach. In this approach, the semantics of a language is defined by translating its constructs (compositionally) to combinations of so-called fundamental constructs, or ‘funcons’. Each funcon is defined using a modular variant of Structural Operational Semantics, and forms a language-independent component that can be reused in definitions of different languages. A substantial library of funcons has been developed and
Details
- Database :
- OAIster
- Journal :
- Journal of Logical and Algebraic Methods in Programming vol. 103, pp. 184-212
- Notes :
- English
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1251881728
- Document Type :
- Electronic Resource
- Full Text :
- https://doi.org/10.1016.j.jlamp.2018.12.004