No Cover Image

Journal article 744 views 83 downloads

Flag-based big-step semantics

Casper Bach Poulsen, Peter Mosses Orcid Logo

Journal of Logical and Algebraic Methods in Programming, Volume: 88, Pages: 174 - 190

Swansea University Author: Peter Mosses Orcid Logo

  • 1-s2.0-S2352220816300311-main.pdf

    PDF | Accepted Manuscript

    © 2016. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/

    Download (450.44KB)

Abstract

Structural operational semantic specifications come in different styles: small-step and big-step. A problem with the big-step style is that specifying divergence and abrupt termination gives rise to annoying duplication. We present a novel approach to representing divergence and abrupt termination i...

Full description

Published in: Journal of Logical and Algebraic Methods in Programming
ISSN: 23522208
Published: 2017
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa28828
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2016-06-10T18:26:37Z
last_indexed 2019-02-11T19:28:54Z
id cronfa28828
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-02-11T15:13:46.5601869</datestamp><bib-version>v2</bib-version><id>28828</id><entry>2016-06-10</entry><title>Flag-based big-step 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>2016-06-10</date><deptcode>FGSEN</deptcode><abstract>Structural operational semantic specifications come in different styles: small-step and big-step. A problem with the big-step style is that specifying divergence and abrupt termination gives rise to annoying duplication. We present a novel approach to representing divergence and abrupt termination in big-step semantics using status flags. This avoids the duplication problem, and uses fewer rules and premises for representing divergence than previous approaches in the literature.</abstract><type>Journal Article</type><journal>Journal of Logical and Algebraic Methods in Programming</journal><volume>88</volume><paginationStart>174</paginationStart><paginationEnd>190</paginationEnd><publisher/><issnPrint>23522208</issnPrint><keywords>Structural operational semantics, SOS, coinduction, big-step semantics, natural semantics, small-step semantics</keywords><publishedDay>30</publishedDay><publishedMonth>4</publishedMonth><publishedYear>2017</publishedYear><publishedDate>2017-04-30</publishedDate><doi>10.1016/j.jlamp.2016.05.001</doi><url/><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:13:46.5601869</lastEdited><Created>2016-06-10T15:38:44.0316902</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><document><filename>0028828-10062016153907.pdf</filename><originalFilename>1-s2.0-S2352220816300311-main.pdf</originalFilename><uploaded>2016-06-10T15:39:07.2770000</uploaded><type>Output</type><contentLength>433277</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2017-05-20T00:00:00.0000000</embargoDate><documentNotes>&#xA9; 2016. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/</documentNotes><copyrightCorrect>true</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2019-02-11T15:13:46.5601869 v2 28828 2016-06-10 Flag-based big-step semantics 3f13b8ec315845c81d371f41e772399c 0000-0002-5826-7520 Peter Mosses Peter Mosses true false 2016-06-10 FGSEN Structural operational semantic specifications come in different styles: small-step and big-step. A problem with the big-step style is that specifying divergence and abrupt termination gives rise to annoying duplication. We present a novel approach to representing divergence and abrupt termination in big-step semantics using status flags. This avoids the duplication problem, and uses fewer rules and premises for representing divergence than previous approaches in the literature. Journal Article Journal of Logical and Algebraic Methods in Programming 88 174 190 23522208 Structural operational semantics, SOS, coinduction, big-step semantics, natural semantics, small-step semantics 30 4 2017 2017-04-30 10.1016/j.jlamp.2016.05.001 COLLEGE NANME Science and Engineering - Faculty COLLEGE CODE FGSEN Swansea University 2019-02-11T15:13:46.5601869 2016-06-10T15:38:44.0316902 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Casper Bach Poulsen 1 Peter Mosses 0000-0002-5826-7520 2 0028828-10062016153907.pdf 1-s2.0-S2352220816300311-main.pdf 2016-06-10T15:39:07.2770000 Output 433277 application/pdf Accepted Manuscript true 2017-05-20T00:00:00.0000000 © 2016. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/ true
title Flag-based big-step semantics
spellingShingle Flag-based big-step semantics
Peter Mosses
title_short Flag-based big-step semantics
title_full Flag-based big-step semantics
title_fullStr Flag-based big-step semantics
title_full_unstemmed Flag-based big-step semantics
title_sort Flag-based big-step semantics
author_id_str_mv 3f13b8ec315845c81d371f41e772399c
author_id_fullname_str_mv 3f13b8ec315845c81d371f41e772399c_***_Peter Mosses
author Peter Mosses
author2 Casper Bach Poulsen
Peter Mosses
format Journal article
container_title Journal of Logical and Algebraic Methods in Programming
container_volume 88
container_start_page 174
publishDate 2017
institution Swansea University
issn 23522208
doi_str_mv 10.1016/j.jlamp.2016.05.001
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 1
active_str 0
description Structural operational semantic specifications come in different styles: small-step and big-step. A problem with the big-step style is that specifying divergence and abrupt termination gives rise to annoying duplication. We present a novel approach to representing divergence and abrupt termination in big-step semantics using status flags. This avoids the duplication problem, and uses fewer rules and premises for representing divergence than previous approaches in the literature.
published_date 2017-04-30T03:34:01Z
_version_ 1756145061659148288
score 10.927374