A Correspondence Between Continuation Passing Style and Static Single Assignment Form Export

@article{citeulike:467999, abstract = {We define syntactic transformations that convert continuation passing style (CPS) programs into static single assignment form (SSA) and vice versa. Some CPS programs cannot be converted to SSA, but these are not produced by the usual CPS transformation. The CPS!SSA transformation is especially helpful for compiling functional programs. Many optimizations that normally require flow analysis can be performed directly on functional CPS programs by viewing them as SSA programs. We also present a...}, author = {Kelsey, Richard A.}, citeulike-article-id = {467999}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.6773}, journal = {ACM SIG\-PLAN Notices}, keywords = {compilers, functional}, number = {3}, pages = {13--22}, posted-at = {2006-01-18 05:55:18}, priority = {2}, title = {A Correspondence Between Continuation Passing Style and Static Single Assignment Form}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.6773}, volume = {30}, year = {1995} }

TY - JOUR ID - citeulike:467999 L3 - citeulike-article-id:467999 N2 - We define syntactic transformations that convert continuation passing style (CPS) programs into static single assignment form (SSA) and vice versa. Some CPS programs cannot be converted to SSA, but these are not produced by the usual CPS transformation. The CPS!SSA transformation is especially helpful for compiling functional programs. Many optimizations that normally require flow analysis can be performed directly on functional CPS programs by viewing them as SSA programs. We also present a... IS - 3 JF - ACM SIG\-PLAN Notices EP - 22 TI - A Correspondence Between Continuation Passing Style and Static Single Assignment Form VL - 30 SP - 13 KW - compilers KW - functional AU - Kelsey, Richard PY - 1995/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.6773 ER -