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.

Possibly Related Publications

The following publications are possibly variants of this publication: