%0 Conference Paper %1 conf/pldi/KangHMGZV15 %A Kang, Jeehoon %A Hur, Chung-Kil %A Mansky, William %A Garbuzov, Dmitri %A Zdancewic, Steve %A Vafeiadis, Viktor %B PLDI %D 2015 %E Grove, David %E Blackburn, Steve %I ACM %K %P 326-335 %T A formal C memory model supporting integer-pointer casts. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2015.html#KangHMGZV15 %@ 978-1-4503-3468-6

@inproceedings{conf/pldi/KangHMGZV15, added-at = {2023-12-13T03:23:59.000+0100}, author = {Kang, Jeehoon and Hur, Chung-Kil and Mansky, William and Garbuzov, Dmitri and Zdancewic, Steve and Vafeiadis, Viktor}, biburl = {https://www.bibsonomy.org/bibtex/23fbd38ebc4f49c10e4af4447f10d73eb/admin}, booktitle = {PLDI}, crossref = {conf/pldi/2015}, editor = {Grove, David and Blackburn, Steve}, ee = {https://doi.org/10.1145/2737924.2738005}, interhash = {8b0214f1d876e8de411be647b1df18ee}, intrahash = {3fbd38ebc4f49c10e4af4447f10d73eb}, isbn = {978-1-4503-3468-6}, keywords = {}, pages = {326-335}, publisher = {ACM}, timestamp = {2023-12-13T03:23:59.000+0100}, title = {A formal C memory model supporting integer-pointer casts.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2015.html#KangHMGZV15}, year = 2015 }