Self-generating program specializers

Robert Glück

doi:10.1016/j.ipl.2010.05.020

Self-generating program specializers

Robert Glück

Datalogisk Institut

1 Citationer (Scopus)

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.

Originalsprog	Engelsk
Tidsskrift	Information Processing Letters
Vol/bind	110
Udgave nummer	17
Sider (fra-til)	787-793
Antal sider	7
ISSN	0020-0190
DOI	https://doi.org/10.1016/j.ipl.2010.05.020
Status	Udgivet - 15 aug. 2010

Adgang til dokumentet

10.1016/j.ipl.2010.05.020

Citationsformater

@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",

month = aug,

day = "15",

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",

}

TY - JOUR

T1 - Self-generating program specializers

AU - Glück, Robert

PY - 2010/8/15

Y1 - 2010/8/15

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

SN - 0020-0190

VL - 110

SP - 787

EP - 793

JO - Information Processing Letters

JF - Information Processing Letters

IS - 17

ER -