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.
Abstract is missing.