David Van Horn, Harry G. Mairson. Relating complexity and precision in control flow analysis. In Ralf Hinze, Norman Ramsey, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007. pages 85-96, ACM, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.