Self-generating program specializers
Research output: Contribution to journal › Journal article › peer-review
Standard
Self-generating program specializers. / Glück, Robert.
In: Information Processing Letters, Vol. 110, No. 17, 2010, p. 787-793.Research output: Contribution to journal › Journal article › peer-review
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - JOUR
T1 - Self-generating program specializers
AU - Glück, Robert
PY - 2010
Y1 - 2010
N2 - This paper demonstrates the existence of self-generating program specializers and uses a language-independent projection to obtain them. The projection is considered from the viewpoint of the interpretive approach and a bootstrapping technique is identified by which a specializer can optimize its own implementation. A theorem is presented that equates the set of self-generating specializers and the set of specializers produced by the new projection. A practical consequence of the theorem is that an implementation of a specializer must contain an error if it is not possible to observe self-generation, which requires only a textual program comparison. Self-generation may thus provide a method for testing specializers and self-interpreters while they are under development.
AB - This paper demonstrates the existence of self-generating program specializers and uses a language-independent projection to obtain them. The projection is considered from the viewpoint of the interpretive approach and a bootstrapping technique is identified by which a specializer can optimize its own implementation. A theorem is presented that equates the set of self-generating specializers and the set of specializers produced by the new projection. A practical consequence of the theorem is that an implementation of a specializer must contain an error if it is not possible to observe self-generation, which requires only a textual program comparison. Self-generation may thus provide a method for testing specializers and self-interpreters while they are under development.
U2 - 10.1016/j.ipl.2010.05.020
DO - 10.1016/j.ipl.2010.05.020
M3 - Journal article
VL - 110
SP - 787
EP - 793
JO - Information Processing Letters
JF - Information Processing Letters
SN - 0020-0190
IS - 17
ER -
ID: 20852770