Linearisation: An optimisation for nonlinear functional programs
From MaRDI portal
Publication:1102731
DOI10.1016/0167-6423(88)90052-4zbMath0644.68015OpenAlexW2037400252MaRDI QIDQ1102731
Publication date: 1988
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(88)90052-4
Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items
On the expansion of non-linear functions ⋮ A new approach to recursion removal ⋮ Using transformations in the implementation of higher-order functions ⋮ Efficient memo-table management strategies