John Hatcliff, Robert Glück. Reasoning about Hierarchies of Online Program Specialization Systems. In Olivier Danvy, Robert Glück, Peter Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers. Volume 1110 of Lecture Notes in Computer Science, pages 161-182, Springer, Dagstuhl Castle, Germany, 1996.
@inproceedings{HatcliffG96,
title = {Reasoning about Hierarchies of Online Program Specialization Systems},
author = {John Hatcliff and Robert Glück},
year = {1996},
researchr = {https://researchr.org/publication/HatcliffG96},
cites = {0},
citedby = {0},
pages = {161-182},
booktitle = {Partial Evaluation},
editor = {Olivier Danvy and Robert Glück and Peter Thiemann},
volume = {1110},
series = {Lecture Notes in Computer Science},
address = {Dagstuhl Castle, Germany},
publisher = {Springer},
isbn = {3-540-61580-6},
}