John Kodumal, Alexander Aiken. The set constraint/CFL reachability connection in practice. In William Pugh, Craig Chambers, editors, Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004. pages 207-218, ACM, 2004. [doi]
Abstract is missing.