Offline partial evaluation can be as accurate as online partial evaluation Export

@article{citeulike:279927, abstract = {We show that the accuracy of online partial evaluation, or polyvariant specialization based on constant propagation, can be simulated by offline partial evaluation using a maximally polyvariant binding-time analysis. We point out that, while their accuracy is the same, online partial evaluation offers better opportunities for powerful generalization strategies. Our results are presented using a flowchart language with recursive procedures.}, address = {New York, NY, USA}, author = {Christensen, Niels H. and Gl\&\#252;ck, Robert}, citeulike-article-id = {279927}, citeulike-linkout-0 = {http://dx.doi.org/10.1145/963778.963784}, doi = {10.1145/963778.963784}, issn = {0164-0925}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {offline, online, partialevaluation, staticanalysis}, month = {January}, number = {1}, pages = {191--220}, posted-at = {2005-08-12 09:45:20}, priority = {2}, publisher = {ACM Press}, title = {Offline partial evaluation can be as accurate as online partial evaluation}, url = {http://dx.doi.org/10.1145/963778.963784}, volume = {26}, year = {2004} }

TY - JOUR ID - citeulike:279927 L3 - citeulike-article-id:279927 N2 - We show that the accuracy of online partial evaluation, or polyvariant specialization based on constant propagation, can be simulated by offline partial evaluation using a maximally polyvariant binding-time analysis. We point out that, while their accuracy is the same, online partial evaluation offers better opportunities for powerful generalization strategies. Our results are presented using a flowchart language with recursive procedures. IS - 1 JF - ACM Trans. Program. Lang. Syst. SN - 0164-0925 AD - New York, NY, USA EP - 220 TI - Offline partial evaluation can be as accurate as online partial evaluation PB - ACM Press VL - 26 SP - 191 KW - offline KW - online KW - partialevaluation KW - staticanalysis AU - Christensen, Niels AU - Gl&\#252;ck, Robert PY - 2004/01// UR - http://dx.doi.org/10.1145/963778.963784 ER -