Linearisation: An optimisation for nonlinear functional programs

DOI10.1016/0167-6423(88)90052-4zbMath0644.68015OpenAlexW2037400252MaRDI QIDQ1102731

Peter G. Harrison

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

zbMATH Keywords

program transformationfunctional programming languages

Mathematics Subject Classification ID

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