%0 Journal Article %1 Futamura1983Partial %A Futamura, Yoshihiko %D 1983 %K 68n20-compilers-and-interpreters %P 255--295 %T Partial Computation of Programs %U http://hdl.handle.net/2433/103401 %V 482 %X This paper attempts to clarify the difference between partial and ordinary computation. Partial computation of a computer program is by definition "specializing a general program based upon its operating environment into a more efficient program". It also shows the usefulness of partial computation. Finally, the formal theory of partial computation, technical problems in making it practical, and its future research problems are discussed. The main purpose of this paper is to make partial computation effectiveness widely known. However, two new results are also reported: (1) a partial computation compiler, and (2) a tabulation technique to terminate partial computation.

@article{Futamura1983Partial, abstract = {{This paper attempts to clarify the difference between partial and ordinary computation. Partial computation of a computer program is by definition "specializing a general program based upon its operating environment into a more efficient program". It also shows the usefulness of partial computation. Finally, the formal theory of partial computation, technical problems in making it practical, and its future research problems are discussed. The main purpose of this paper is to make partial computation effectiveness widely known. However, two new results are also reported: (1) a partial computation compiler, and (2) a tabulation technique to terminate partial computation.}}, added-at = {2019-03-01T00:11:50.000+0100}, author = {Futamura, Yoshihiko}, biburl = {https://www.bibsonomy.org/bibtex/26427639577b56a8c61665328c2f27d8a/gdmcbain}, citeulike-article-id = {14686132}, citeulike-attachment-1 = {futamura_83_partial_1152641.pdf; /pdf/user/gdmcbain/article/14686132/1152641/futamura_83_partial_1152641.pdf; d209b280b6bf8584e4568d77eeaaa119c379113a}, citeulike-linkout-0 = {http://hdl.handle.net/2433/103401}, file = {futamura_83_partial_1152641.pdf}, interhash = {d775ab2186f9a27795cbca654d19cc37}, intrahash = {6427639577b56a8c61665328c2f27d8a}, keywords = {68n20-compilers-and-interpreters}, pages = {255--295}, posted-at = {2019-02-06 22:08:22}, priority = {0}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {{Partial Computation of Programs}}, url = {http://hdl.handle.net/2433/103401}, volume = 482, year = 1983 }