The ExoVM system for automatic VM and application reduction - TITZER, Ben L; AUERBACH, Joshua; BACON, David F; PALSBERG, Jens (PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, 2007, San Diego, CA, 2007)
text