Conference Paper/Proceeding/Abstract 1270 views
Generating specialized interpreters for modular structural operational semantics
Logic-Based Program Synthesis and Transformation, Volume: LNCS 8901, Pages: 220 - 236
Swansea University Author: Peter Mosses
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-319-14125-1_13
Abstract
Modular Structural Operational Semantics (MSOS) is a variant of Structural Operational Semantics (SOS). It allows language constructs to be specified independently, such that no reformulation of existing rules in an MSOS specification is required when a language is extended with new constructs and f...
Published in: | Logic-Based Program Synthesis and Transformation |
---|---|
Published: |
2014
|
URI: | https://cronfa.swan.ac.uk/Record/cronfa20845 |
first_indexed |
2015-04-23T02:07:51Z |
---|---|
last_indexed |
2019-02-11T19:13:01Z |
id |
cronfa20845 |
recordtype |
SURis |
fullrecord |
<?xml version="1.0"?><rfc1807><datestamp>2019-02-11T15:50:17.1229488</datestamp><bib-version>v2</bib-version><id>20845</id><entry>2015-04-22</entry><title>Generating specialized interpreters for modular structural operational semantics</title><swanseaauthors><author><sid>3f13b8ec315845c81d371f41e772399c</sid><ORCID>0000-0002-5826-7520</ORCID><firstname>Peter</firstname><surname>Mosses</surname><name>Peter Mosses</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2015-04-22</date><abstract>Modular Structural Operational Semantics (MSOS) is a variant of Structural Operational Semantics (SOS). It allows language constructs to be specified independently, such that no reformulation of existing rules in an MSOS specification is required when a language is extended with new constructs and features.Introducing the Prolog MSOS Tool, we recall how to synthesize executable interpreters from small-step MSOS specifications by compiling MSOS rules into Prolog clauses. Implementing the transitive closure of compiled small-step rules gives an executable interpreter in Prolog. In the worst case, such interpreters traverse each intermediate program term in its full depth, resulting in a significant overhead in each step.We show how to transform small-step MSOS specifications into corresponding big-step specifications via a two-step specialization by internalizing the rules implementing the transitive closure in MSOS and ‘refocusing’ the small-step rules. Specialized specifications result in generated interpreters with significantly reduced interpretive overhead.</abstract><type>Conference Paper/Proceeding/Abstract</type><journal>Logic-Based Program Synthesis and Transformation</journal><volume>LNCS 8901</volume><paginationStart>220</paginationStart><paginationEnd>236</paginationEnd><publisher/><keywords/><publishedDay>11</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2014</publishedYear><publishedDate>2014-12-11</publishedDate><doi>10.1007/978-3-319-14125-1_13</doi><url/><notes></notes><college>COLLEGE NANME</college><CollegeCode>COLLEGE CODE</CollegeCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-02-11T15:50:17.1229488</lastEdited><Created>2015-04-22T13:26:22.5935724</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Casper</firstname><surname>Bach Poulsen</surname><order>1</order></author><author><firstname>Peter</firstname><surname>Mosses</surname><orcid>0000-0002-5826-7520</orcid><order>2</order></author></authors><documents/><OutputDurs/></rfc1807> |
spelling |
2019-02-11T15:50:17.1229488 v2 20845 2015-04-22 Generating specialized interpreters for modular structural operational semantics 3f13b8ec315845c81d371f41e772399c 0000-0002-5826-7520 Peter Mosses Peter Mosses true false 2015-04-22 Modular Structural Operational Semantics (MSOS) is a variant of Structural Operational Semantics (SOS). It allows language constructs to be specified independently, such that no reformulation of existing rules in an MSOS specification is required when a language is extended with new constructs and features.Introducing the Prolog MSOS Tool, we recall how to synthesize executable interpreters from small-step MSOS specifications by compiling MSOS rules into Prolog clauses. Implementing the transitive closure of compiled small-step rules gives an executable interpreter in Prolog. In the worst case, such interpreters traverse each intermediate program term in its full depth, resulting in a significant overhead in each step.We show how to transform small-step MSOS specifications into corresponding big-step specifications via a two-step specialization by internalizing the rules implementing the transitive closure in MSOS and ‘refocusing’ the small-step rules. Specialized specifications result in generated interpreters with significantly reduced interpretive overhead. Conference Paper/Proceeding/Abstract Logic-Based Program Synthesis and Transformation LNCS 8901 220 236 11 12 2014 2014-12-11 10.1007/978-3-319-14125-1_13 COLLEGE NANME COLLEGE CODE Swansea University 2019-02-11T15:50:17.1229488 2015-04-22T13:26:22.5935724 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Casper Bach Poulsen 1 Peter Mosses 0000-0002-5826-7520 2 |
title |
Generating specialized interpreters for modular structural operational semantics |
spellingShingle |
Generating specialized interpreters for modular structural operational semantics Peter Mosses |
title_short |
Generating specialized interpreters for modular structural operational semantics |
title_full |
Generating specialized interpreters for modular structural operational semantics |
title_fullStr |
Generating specialized interpreters for modular structural operational semantics |
title_full_unstemmed |
Generating specialized interpreters for modular structural operational semantics |
title_sort |
Generating specialized interpreters for modular structural operational semantics |
author_id_str_mv |
3f13b8ec315845c81d371f41e772399c |
author_id_fullname_str_mv |
3f13b8ec315845c81d371f41e772399c_***_Peter Mosses |
author |
Peter Mosses |
author2 |
Casper Bach Poulsen Peter Mosses |
format |
Conference Paper/Proceeding/Abstract |
container_title |
Logic-Based Program Synthesis and Transformation |
container_volume |
LNCS 8901 |
container_start_page |
220 |
publishDate |
2014 |
institution |
Swansea University |
doi_str_mv |
10.1007/978-3-319-14125-1_13 |
college_str |
Faculty of Science and Engineering |
hierarchytype |
|
hierarchy_top_id |
facultyofscienceandengineering |
hierarchy_top_title |
Faculty of Science and Engineering |
hierarchy_parent_id |
facultyofscienceandengineering |
hierarchy_parent_title |
Faculty of Science and Engineering |
department_str |
School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science |
document_store_str |
0 |
active_str |
0 |
description |
Modular Structural Operational Semantics (MSOS) is a variant of Structural Operational Semantics (SOS). It allows language constructs to be specified independently, such that no reformulation of existing rules in an MSOS specification is required when a language is extended with new constructs and features.Introducing the Prolog MSOS Tool, we recall how to synthesize executable interpreters from small-step MSOS specifications by compiling MSOS rules into Prolog clauses. Implementing the transitive closure of compiled small-step rules gives an executable interpreter in Prolog. In the worst case, such interpreters traverse each intermediate program term in its full depth, resulting in a significant overhead in each step.We show how to transform small-step MSOS specifications into corresponding big-step specifications via a two-step specialization by internalizing the rules implementing the transitive closure in MSOS and ‘refocusing’ the small-step rules. Specialized specifications result in generated interpreters with significantly reduced interpretive overhead. |
published_date |
2014-12-11T12:44:19Z |
_version_ |
1821409500211445760 |
score |
10.958922 |