4 ms·
Olin Shivers's "Control-Flow Analysis of Higher-Order Languages" (http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.3971 http://citeseerx.ist.psu.edu/vi
by silentbicycle 15y ago
Olin Shivers's "Control-Flow Analysis of Higher-Order Languages" (http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.3971 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.39...) is all about using abstract interpretation for compiler analysis. It's focused on Scheme, but is applicable to higher-order languages in general.
It's also noteworthy as part of Yale's T / Scheme current (http://paulgraham.com/thist.html http://paulgraham.com/thist.html), which produced a lot of other great stuff: "Orbit" (http://repository.readscheme.org/ftp/papers/orbit-thesis.pdf http://repository.readscheme.org/ftp/papers/orbit-thesis.pdf), "A Tractable Scheme Implementation" (http://repository.readscheme.org/ftp/papers/vlisp-lasc/scheme48.pdf http://repository.readscheme.org/ftp/papers/vlisp-lasc/schem...) and Scheme48 (http://s48.org http://s48.org). For starters!