Conference Paper/Proceeding/Abstract 1180 views
Reusable components of semantic specifications
Martin Churchill,
Peter Mosses 
,
Paolo Torrini
,
Paolo Torrini
Modularity '14, Pages: 145 - 156
Swansea University Author:
Peter Mosses
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1145/2577080.2577099
Abstract
Semantic specifications of programming languages typically have poor modularity. This hinders reuse of parts of the semantics of one language when specifying a different language -- even when the two languages have many constructs in common -- and evolution of a language may require major reformulat...
| Published in: | Modularity '14 |
|---|---|
| Published: |
New York
ACM
2014
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa17943 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract: |
Semantic specifications of programming languages typically have poor modularity. This hinders reuse of parts of the semantics of one language when specifying a different language -- even when the two languages have many constructs in common -- and evolution of a language may require major reformulation of its semantics. Such drawbacks have discouraged language developers from using formal semantics to document their designs.In the PlanCompS project, we have developed a component-based approach to semantics. Here, we explain its modularity aspects, and present an illustrative case study. Our approach provides good modularity, facilitates reuse, and supports co-evolution of languages and their formal semantics. It could be particularly useful in connection with domain-specific languages and language-driven software development. |
|---|---|
| Keywords: |
co-evolution, component-based semantics, funcons, fundamental constructs, modular sos, modularity, reusability, semantics of programming languages |
| College: |
Faculty of Science and Engineering |
| Start Page: |
145 |
| End Page: |
156 |