Sound Specialization in the Presence of Computational Effects

Julia L. Lawall, Peter Thiemann. Sound Specialization in the Presence of Computational Effects. In Martín Abadi, Takayasu Ito, editors, Theoretical Aspects of Computer Software, Third International Symposium, TACS 97, Sendai, Japan, September 23-26, 1997, Proceedings. Volume 1281 of Lecture Notes in Computer Science, pages 165-190, Springer, 1997.

Abstract

Abstract is missing.