Tupling calculation eliminates multiple data traversals

DOI10.1145/258948.258964zbMath1369.68142OpenAlexW2013616027MaRDI QIDQ5348873

Akihiko Takano, Masato Takeichi, Hideya Iwasaki, Zhenjiang Hu

Publication date: 21 August 2017

Published in: Proceedings of the second ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Asynchronous unfold/fold transformation for fixpoint logic ⋮ The Expression Lemma ⋮ Polynomial-time inverse computation for accumulative functions with multiple data traversals ⋮ A short cut to optimal sequences

This page was built for publication: Tupling calculation eliminates multiple data traversals