No Cover Image

Conference Paper/Proceeding/Abstract 839 views

Generating specialized interpreters for modular structural operational semantics

Casper Bach Poulsen, Peter Mosses Orcid Logo

Logic-Based Program Synthesis and Transformation, Volume: LNCS 8901, Pages: 220 - 236

Swansea University Author: Peter Mosses Orcid Logo

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...

Full description

Published in: Logic-Based Program Synthesis and Transformation
Published: 2014
URI: https://cronfa.swan.ac.uk/Record/cronfa20845
Tags: Add Tag
No Tags, Be the first to tag this record!
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><deptcode>FGSEN</deptcode><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 &#x2018;refocusing&#x2019; 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><department>Science and Engineering - Faculty</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>FGSEN</DepartmentCode><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 FGSEN 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 Science and Engineering - Faculty COLLEGE CODE FGSEN 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-11T03:25:41Z
_version_ 1756778716998926336
score 10.928156