Andrew Wilson Appel
-
SPARE: A Development Environment for Program Analysis Algorithms
IEEE Transactions on Software Engineering