Call-By-Name CPS-Translation as a Binding-Time Improvement Export

@inproceedings{citeulike:828021, abstract = {. Much attention has been given to the call-by-value continuation passing style (CBV CPS) translation as a tool in partial evaluation, but the call-by-name (CBN) CPS translation has not been investigated. We undertake a systematic investigation of the effect of CBN CPS in connection with partial evaluation and deforestation. First, we give an example where CBN CPS translation acts as a binding time improvement to achieve the effects of deforestation using partial evaluation. The same effect...}, author = {Nielsen, K. and S\orensen, M. H.}, booktitle = {International Static Analysis Symposium, Glasgow, Scotland, September 1995. (Lecture Notes in Computer Science, vol. 983)}, citeulike-article-id = {828021}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.9627}, editor = {Mycroft, A.}, keywords = {call-by-name, continuation, language, lazy, programming}, posted-at = {2006-09-04 20:24:00}, priority = {3}, publisher = {Berlin:\ Springer-Verlag}, title = {Call-By-Name CPS-Translation as a Binding-Time Improvement}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.9627}, year = {1995} }

TY - CONF ID - citeulike:828021 L3 - citeulike-article-id:828021 N2 - . Much attention has been given to the call-by-value continuation passing style (CBV CPS) translation as a tool in partial evaluation, but the call-by-name (CBN) CPS translation has not been investigated. We undertake a systematic investigation of the effect of CBN CPS in connection with partial evaluation and deforestation. First, we give an example where CBN CPS translation acts as a binding time improvement to achieve the effects of deforestation using partial evaluation. The same effect... TI - Call-By-Name CPS-Translation as a Binding-Time Improvement PB - Berlin:\ Springer-Verlag T2 - International Static Analysis Symposium, Glasgow, Scotland, September 1995. (Lecture Notes in Computer Science, vol. 983) KW - call-by-name KW - continuation KW - language KW - lazy KW - programming AU - Nielsen, K AU - S\orensen, MH A2 - Mycroft, A PY - 1995/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.9627 ER -