1. A Note on Specialization of Interpreters.
- Author
-
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Diekert, Volker, Volkov, Mikhail V., Voronkov, Andrei, Lisitsa, Alexei, and Nemytykh, Andrei P.
- Abstract
Given a program with two arguments p(x,y). Let the first argument x0 be fixed. The aim of program specialization with respect to the known x0 is to construct an optimized program Px0(y) such that Px0(y) = P(x0,y). Specialization of interpreters with respect to programs is well known problem. In this paper we argue that specialization of interpreters with respect to data may be seen as program verification. [ABSTRACT FROM AUTHOR]
- Published
- 2007
- Full Text
- View/download PDF