Steven Lyde, Matthew Might. Control-Flow Analysis with SAT Solvers. In Jay McCarthy, editor, Trends in Functional Programming - 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers. Volume 8322 of Lecture Notes in Computer Science, pages 125-133, Springer, 2013. [doi]
Abstract is missing.