This paper is devoted to the statement and proof of a theorem showing how recursive definitions whose associated call graphs satisfy certain shape conditions can be converted systematically into efficient bottom-up tabulation schemes. The increase in efficiency can be dramatic, typically transforming an exponential time algorithm into one that takes only quadratic time. The proof of the theorem relies heavily on the theory of zips developed by Roland Backhouse and Paul Hoogendijk. © 2008 Springer-Verlag.
CITATION STYLE
Bird, R. S. (2008). Zippy tabulations of recursive functions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5133 LNCS, pp. 92–109). https://doi.org/10.1007/978-3-540-70594-9_7
Mendeley helps you to discover research relevant for your work.