Refocusing (semantics)
id:
refocusing-semantics-183-1754982
title:
Refocusing (semantics)
text:
In computer science, refocusing is a program transformation used to implement a reduction semantics—i.e., a small-step operational semantics with an explicit representation of the reduction context—more efficiently. It is a step towards implementing a deterministic semantics as a deterministic abstract machine. A small-step operational semantics defines the meaning of a given program p 0 as a sequence of one-step reductions that starts with p 0 and continues with a sequence of reducts p i, where
brand slug:
wiki
category slug:
encyclopedia
description:
Program transformation in computer science
original url:
https://en.wikipedia.org/wiki/Refocusing_(semantics)
date created:
2023-02-26T02:54:25Z
date modified:
2024-09-06T19:57:58Z
main entity:
{"identifier":"Q118906191","url":"https://www.wikidata.org/entity/Q118906191"}
image:
fields total:
13
integrity:
15