Toward a Formal Theory of Extensible Software

Shriram Krishnamurthi, Matthias Felleisen. Toward a Formal Theory of Extensible Software. In SIGSOFT FSE. pages 88-98, 1998. [doi]

Abstract

Abstract is missing.