Conference Paper/Proceeding/Abstract 1004 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,...
| 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: |
Faculty of Science and Engineering |
| Start Page: |
3 |
| End Page: |
10 |