Enhancement through extension: the extension interpreter.

David Notkin, William G. Griswold

Browse the full PLDI paper archive.