%0 Conference Paper %1 gregory2001dynamic %A Sullivan, Gregory %B Programs as Data Objects %D 2001 %I Springer %K PartialEvaluation Specialization %P 238--256 %R 10.1007/3-540-44978-7_14 %T Dynamic Partial Evaluation %V 2053 %X Dynamic partial evaluation performs partial evaluation as a side effect of evaluation, with no previous static analysis required. A completely dynamic version of partial evaluation is not merely of theoretical interest, but has practical applications,especially when applied to dynamic, reflective programming languages. Computational reflection, and in particular the useof meta-object protocols (MOPs), provides a powerful abstraction mechanism, providing programmatic “hooks” into the interpretersemantics of the host programming language. Unfortunately, a runtime MOP defeats many optimizations based on static analysis(for example, the applicable methods at a call site may change over time, even for the same types of arguments). Dynamic partialevaluation allows us to apply partial evaluation techniques even in the context of a meta-object protocol. We have implementeddynamic partial evaluation as part of a Dynamic Virtual Machine intended to host dynamic, reflective object-oriented languages.In this paper, we present an implementation of dynamic partial evaluation for a simple language — a lambda calculus extendedwith dynamic typing, subtyping, generic functions and multiple dispatch.

@inproceedings{gregory2001dynamic, abstract = {Dynamic partial evaluation performs partial evaluation as a side effect of evaluation, with no previous static analysis required. A completely dynamic version of partial evaluation is not merely of theoretical interest, but has practical applications,especially when applied to dynamic, reflective programming languages. Computational reflection, and in particular the useof meta-object protocols (MOPs), provides a powerful abstraction mechanism, providing programmatic “hooks” into the interpretersemantics of the host programming language. Unfortunately, a runtime MOP defeats many optimizations based on static analysis(for example, the applicable methods at a call site may change over time, even for the same types of arguments). Dynamic partialevaluation allows us to apply partial evaluation techniques even in the context of a meta-object protocol. We have implementeddynamic partial evaluation as part of a Dynamic Virtual Machine intended to host dynamic, reflective object-oriented languages.In this paper, we present an implementation of dynamic partial evaluation for a simple language — a lambda calculus extendedwith dynamic typing, subtyping, generic functions and multiple dispatch.}, added-at = {2009-07-03T14:56:52.000+0200}, author = {Sullivan, Gregory}, biburl = {https://www.bibsonomy.org/bibtex/24bbfda85578f3785c4d5d758fd912f2c/gron}, booktitle = {Programs as Data Objects}, doi = {10.1007/3-540-44978-7_14}, interhash = {ccd83d46541b49911b093d7ae9e5548b}, intrahash = {4bbfda85578f3785c4d5d758fd912f2c}, keywords = {PartialEvaluation Specialization}, pages = {238--256}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2014-08-11T12:52:21.000+0200}, title = {Dynamic Partial Evaluation}, volume = 2053, year = 2001 }