Efficient control flow quantificationChristoph BockischSebastian Kanthaket al.2006ACM SIGPLAN Notices