From Outermost Reduction Semantics to Abstract Machine

AU Library Scholarly Publishing Services - Ebooks

View Publication Info
 
 
Field Value
 
Title From Outermost Reduction Semantics to Abstract Machine
 
Creator Danvy, Olivier
Johannsen, Jacob; Department of Computer Science, Aarhus University
 
Subject
 
Description Reduction semantics is a popular format for small-step operational semantics of deterministic programming languages with computational effects.Each reduction semantics gives rise to a reduction-based normalization function where the reduction sequence is enumerated.Refocusing is a practical way to transform a reduction-based normalization function into a reduction-free one where the reduction sequence is not enumerated.This reduction-free normalization function takes the form of an abstract machine that navigates from one redex site to the next without systematically detouring via the root of the term to enumerate the reduction sequence, in contrast to the reduction-based normalization function.We have discovered that refocusing does not apply as readily for reduction semantics that use an outermost reduction strategy and have overlapping rules where a contractum can be a proper subpart of a redex.In this article, we consider such an outermost reduction semantics with backward-overlapping rules, and we investigate how to apply refocusing to still obtain a reduction-free normalization function in the form of an abstract machine.
 
Publisher AU Library Scholarly Publishing Services
 
Date 2015-01-27
 
Type Book
text
 
Format Digital
 
Identifier http://ebooks.au.dk/index.php/aul/catalog/book/3
ISBN-13
 
Source AU Library Scholarly Publishing Services;
 
Coverage


 

Contact Us

The PKP Index is an initiative of the Public Knowledge Project.

For PKP Publishing Services please use the PKP|PS contact form.

For support with PKP software we encourage users to consult our wiki for documentation and search our support forums.

For any other correspondence feel free to contact us using the PKP contact form.

Find Us

Twitter

Copyright © 2015-2016 Simon Fraser University Library