A bounds inference method for vector-based memoization

DOI10.1145/258948.258965MaRDI QIDQ5348874zbMATH OpenOpenAlexFDO

Authors Wei-Ngan Chin, Masami Hagiya

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.258965

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• A transformation method for dynamic-sized tabulation
• Efficient memo-table management strategies
• Verified memoization and dynamic programming
• Zippy Tabulations of Recursive Functions
• Recursion Schemes for Dynamic Programming

Cited in

(3)

• Partial memoization for obtaining linear time behavior of a 2DPDA
• A transformation method for dynamic-sized tabulation
• scientific article; zbMATH DE number 6176035 (Why is no real title available?)

This page was built for publication: A bounds inference method for vector-based memoization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5348874)