Transformation by Interpreter Specialisation Export

@misc{citeulike:90319, abstract = {A program may be transformed by specialising an interpreter for the language in which it is written. Eciency of the transformed program is determined by the e- ciency of the interpreter's dynamic operations; the eciency of its static operations is irrelevant, since all will be \specialised away\". This approach is automatic (as automatic as the specialiser is); general, in that it applies to all of the interpreter's input programs; and exible, in that a wide range of program transformations are...}, author = {Diku, Neil J.}, citeulike-article-id = {90319}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/703311.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/703311.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/703311.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/703311.html}, keywords = {language-implementation, partial-evaluation}, posted-at = {2006-03-30 09:10:51}, priority = {2}, title = {Transformation by Interpreter Specialisation}, url = {http://citeseer.ist.psu.edu/703311.html} }

TY - GEN ID - citeulike:90319 L3 - citeulike-article-id:90319 N2 - A program may be transformed by specialising an interpreter for the language in which it is written. Eciency of the transformed program is determined by the e- ciency of the interpreter's dynamic operations; the eciency of its static operations is irrelevant, since all will be \specialised away". This approach is automatic (as automatic as the specialiser is); general, in that it applies to all of the interpreter's input programs; and exible, in that a wide range of program transformations are... TI - Transformation by Interpreter Specialisation KW - language-implementation KW - partial-evaluation AU - Diku, Neil UR - http://citeseer.ist.psu.edu/703311.html ER -