PaperHow to Analyze Large Programs Efficiently and InformativelyDhananjay M. Dhamdhere, Barry K. Rosen, et al.ACM SIGPLAN Notices
Conference paperIncremental evaluation of computational circuitsBowen Alpern, Roger Hoover, et al.SODA 1990