Self-generating program specializers

Research output: Contribution to journalJournal articlepeer-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 journalJournal articlepeer-review

Harvard

Glück, R 2010, 'Self-generating program specializers', Information Processing Letters, vol. 110, no. 17, pp. 787-793. https://doi.org/10.1016/j.ipl.2010.05.020

APA

Glück, R. (2010). Self-generating program specializers. Information Processing Letters, 110(17), 787-793. https://doi.org/10.1016/j.ipl.2010.05.020

Vancouver

Glück R. Self-generating program specializers. Information Processing Letters. 2010;110(17):787-793. https://doi.org/10.1016/j.ipl.2010.05.020

Author

Glück, Robert. / Self-generating program specializers. In: Information Processing Letters. 2010 ; Vol. 110, No. 17. pp. 787-793.

Bibtex

@article{9420bf508fde11df928f000ea68e967b,
title = "Self-generating program specializers",
abstract = "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. ",
author = "Robert Gl{\"u}ck",
year = "2010",
doi = "10.1016/j.ipl.2010.05.020",
language = "English",
volume = "110",
pages = "787--793",
journal = "Information Processing Letters",
issn = "0020-0190",
publisher = "Elsevier",
number = "17",

}

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