J. Hatcliff and Robert Gluck. Reasoning about hierarchies of online program specialization systems. In Danvy et al. [16]. To appear. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
A Roadmap to Metacomputation by Supercompilation - Glück, Sĝrensen (1996) (4 citations) (Correct)
.... was reported in [39] A self applicable supercompiler for Refal is described in [98, 60] Examples of MST include multiple self application [27, 32] the generation of program transformers [29, 31] the implementation of non standard semantics [3] and other related work on metacomputation and MST [1, 2, 28, 36, 37, 42, 49, 48]. Acknowledgments. Thanks to Sergei Abramov, Andrei Klimov, Andrei Nemytykh, Victoria Pinchuk, Alexander Romanenko (y) Sergei Romanenko, and last but not least, Valentin F. Turchin for many stimulating discussions and hospitality during visits in Russia and New York. Special thanks are due to ....
J. Hatcliff and Robert Gluck. Reasoning about hierarchies of online program specialization systems. In Danvy et al. [16]. To appear.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC