No Cover Image

Conference Paper/Proceeding/Abstract 540 views

Component-based semantics / Peter Mosses

Pages: 3 - 10

Swansea University Author: Peter, Mosses

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1145/1596486.1596489

Abstract

<p>Formal semantic descriptions have many potential pragmatic advantages over informal descriptions. Unfortunately, however, the major frameworks for formal semantics do not support component-based description of programming languages. Different languages often have many constructs in common,...

Full description

Published: ACM 2009
URI: https://cronfa.swan.ac.uk/Record/cronfa41
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: <p>Formal semantic descriptions have many potential pragmatic advantages over informal descriptions. Unfortunately, however, the major frameworks for formal semantics do not support component-based description of programming languages. Different languages often have many constructs in common, but the corresponding parts of their semantic descriptions are not generally reusable. The lack of reusable components is one of the reasons why it has been an immense effort to give a semantic description of any larger language.</p><p>Here, we consider two semantic frameworks that do support component-based language description: action semantics, and a modular variant of structural operational semantics (MSOS). We analyse how the semantics of individual constructs can be described independently in these frameworks, explaining the key insights. We also speculate on the possible applicability of similar techniques in component-based software development.</p>
Item Description: In SAVCBS '09, Proc. 8th Intl. Workshop on Specification and Verification of Component-Based Systems, Amsterdam, The Netherlands
College: College of Science
Start Page: 3
End Page: 10