Lightweight fusion by fixed point promotion

DOI10.1145/1190216.1190241zbMath1295.68067OpenAlexW4234009710MaRDI QIDQ3189793

Isao Sasano, Atsushi Ohori

Publication date: 12 September 2014

Published in: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1190216.1190241

zbMATH Keywords

fixed pointfusioninlining

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Related Items (10)

Getting There and Back Again ⋮ Shortcut fusion rules for the derivation of circular and higher-order programs ⋮ Folding left and right matters: Direct style, accumulators, and continuations ⋮ On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation ⋮ Algebraic fusion of functions with an accumulating parameter and its improvement ⋮ On graph rewriting, reduction, and evaluation in the presence of cycles ⋮ On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion ⋮ Inter-deriving semantic artifacts for object-oriented programming ⋮ Folding left and right over Peano numbers ⋮ From Reduction-Based to Reduction-Free Normalization

This page was built for publication: Lightweight fusion by fixed point promotion