The Equivalence of Certain Computations

DOI10.1093/comjnl/9.1.45zbMath0173.19005OpenAlexW2075496513MaRDI QIDQ5560677

D. C. Cooper

Publication date: 1966

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/9.1.45

zbMATH Keywords

numerical analysis

Related Items (4)

A transformation method for dynamic-sized tabulation ⋮ Folding left and right matters: Direct style, accumulators, and continuations ⋮ A family of rules for recursion removal ⋮ Program development schemata as derived rules

This page was built for publication: The Equivalence of Certain Computations