No Cover Image

Conference Paper/Proceeding/Abstract 675 views

Reusable components of semantic specifications / Martin Churchill; Peter Mosses; 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...

Full description

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: College of Science
Start Page: 145
End Page: 156