Manipulating accumulative functions by swapping call-time and return-time computations

Autor:	Akimasa Morihata, Masato Takeichi, Kazuhiko Kakehi, Zhenjiang Hu
Rok vydání:	2012
Předmět:	Return time Functional programming Theoretical computer science Computer science Computation Program transformation Inversion (meteorology) Software
Zdroj:	Journal of Functional Programming. 22:275-299
ISSN:	1469-7653 0956-7968
Popis:	Functional languages are suitable for transformational developments of programs. However, accumulative functions, or in particular tail-recursive functions, are known to be less suitable for manipulation. In this paper, we propose a program transformation named “IO swapping” that swaps call-time and return-time computations. It moves computations in accumulative parameters to results and thereby enables interesting transformations. We demonstrate effectiveness of IO swapping by several applications: deforestation, higher order removal, program inversion, and manipulation of circular programs.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ce7145474e5b2a71e33a246093a1161a https://doi.org/10.1017/s0956796812000111 Zobrazit plný text záznamu