Karen Zee, Viktor Kuncak, Martin C. Rinard. An integrated proof language for imperative programs. In Michael Hind, Amer Diwan, editors, Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009. pages 338-351, ACM, 2009. [doi]
@inproceedings{ZeeKR09,
title = {An integrated proof language for imperative programs},
author = {Karen Zee and Viktor Kuncak and Martin C. Rinard},
year = {2009},
doi = {10.1145/1542476.1542514},
url = {http://doi.acm.org/10.1145/1542476.1542514},
tags = {programming languages, C++},
researchr = {https://researchr.org/publication/ZeeKR09},
cites = {0},
citedby = {0},
pages = {338-351},
booktitle = {Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009},
editor = {Michael Hind and Amer Diwan},
publisher = {ACM},
isbn = {978-1-60558-392-1},
}