Reasoning about Hierarchies of Online Program Specialization Systems

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

Abstract is missing.