Ranjit Jhala, Rupak Majumdar. Bit level types for high level reasoning. In Michal Young, Premkumar T. Devanbu, editors, Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2005, Portland, Oregon, USA, November 5-11, 2006. pages 128-140, ACM, 2006. [doi]
Abstract is missing.