Smartest recompilation

Zhong Shao, Andrew W. Appel
1993 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93  
doi:10.1145/158511.158702 dblp:conf/popl/ShaoA93 fatcat:6gnanwlt5zgnrlio7qclyayh7q