Hi-Lite: the convergence of compiler technology and program verification

Johannes Kanig, Edmond Schonberg, Claire Dross. Hi-Lite: the convergence of compiler technology and program verification. In Ben Brosgol, Jeff Boleng, S. Tucker Taft, editors, Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA. pages 27-34, ACM, 2012. [doi]

Abstract

Abstract is missing.