No Cover Image

Journal article 487 views 27 downloads

Flag-based big-step semantics / Casper Bach Poulsen; Peter Mosses

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

Swansea University Author: Peter, Mosses

  • 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!
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.
Keywords: Structural operational semantics, SOS, coinduction, big-step semantics, natural semantics, small-step semantics
College: College of Science
Start Page: 174
End Page: 190