William C. Kreahling, Stephen Hines, David B. Whalley, Gary S. Tyson. Reducing the cost of conditional transfers of control by using comparison specifications. In Mary Jane Irwin, Koen De Bosschere, editors, Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 06), Ottawa, Ontario, Canada, June 14-16, 2006. pages 64-71, ACM, 2006. [doi]
Abstract is missing.