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]
@inproceedings{KanigSD12,
title = {Hi-Lite: the convergence of compiler technology and program verification},
author = {Johannes Kanig and Edmond Schonberg and Claire Dross},
year = {2012},
doi = {10.1145/2402676.2402690},
url = {http://doi.acm.org/10.1145/2402676.2402690},
researchr = {https://researchr.org/publication/KanigSD12},
cites = {0},
citedby = {0},
pages = {27-34},
booktitle = {Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA},
editor = {Ben Brosgol and Jeff Boleng and S. Tucker Taft},
publisher = {ACM},
isbn = {978-1-4503-1505-0},
}