On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
type: Item
instance of: scholarly article
title: On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
zbMATH Open document ID: 1186.68122
author: Olivier Danvy
author: Kevin Millikin
published in: Information Processing Letters
publication date: 2010-04-19T00:00:00Z
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 5694915
zbMATH Keywords: program derivation
zbMATH Keywords: programming calculi
zbMATH Keywords: programming languages
zbMATH Keywords: abstract machines
zbMATH Keywords: warm fusion
zbMATH Keywords: refocusing
MaRDI profile type: Publication
full work available at URL: j.ipl.2007.10.010
OpenAlex ID: W2016550363
cites work: A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
cites work: A concrete framework for environment machines
cites work: A syntactic correspondence between context-sensitive calculi and abstract machines
cites work: Q3750108
cites work: An abstract framework for environment machines
cites work: Trampolined style
cites work: A call-by-name lambda-calculus machine
cites work: The Mechanical Evaluation of Expressions
cites work: Making a fast curry
cites work: Q4398765
cites work: Lightweight fusion by fixed point promotion
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: Definitional interpreters for higher-order programming languages
cites work: Definitional interpreters revisited
cites work: Q3141916
DOI: 10.1016/J.IPL.2007.10.010
description: scientific article; zbMATH DE number 5694915