%0 Conference Paper %1 conf/popl/ConditHLQ09 %A Condit, Jeremy %A Hackett, Brian %A Lahiri, Shuvendu K. %A Qadeer, Shaz %B POPL %D 2009 %E Shao, Zhong %E Pierce, Benjamin C. %I ACM %K dblp %P 302-314 %T Unifying type checking and property checking for low-level code. %U http://dblp.uni-trier.de/db/conf/popl/popl2009.html#ConditHLQ09 %@ 978-1-60558-379-2

@inproceedings{conf/popl/ConditHLQ09, added-at = {2018-11-06T00:00:00.000+0100}, author = {Condit, Jeremy and Hackett, Brian and Lahiri, Shuvendu K. and Qadeer, Shaz}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/261c01cd7b462432ad58ba34dd4f893fa/dblp}, booktitle = {POPL}, crossref = {conf/popl/2009}, editor = {Shao, Zhong and Pierce, Benjamin C.}, ee = {https://doi.org/10.1145/1480881.1480921}, interhash = {bb1dac52da417ce3cc5af13e56e0c635}, intrahash = {61c01cd7b462432ad58ba34dd4f893fa}, isbn = {978-1-60558-379-2}, keywords = {dblp}, pages = {302-314}, publisher = {ACM}, timestamp = {2019-09-27T22:06:52.000+0200}, title = {Unifying type checking and property checking for low-level code.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2009.html#ConditHLQ09}, year = 2009 }