%0 Journal Article %1 journals/pacmpl/LepigreSMKDS22 %A Lepigre, Rodolphe %A Sammler, Michael %A Memarian, Kayvan %A Krebbers, Robbert %A Dreyer, Derek %A Sewell, Peter %D 2022 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 1-32 %T VIP: verifying real-world C idioms with integer-pointer casts. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#LepigreSMKDS22 %V 6

@article{journals/pacmpl/LepigreSMKDS22, added-at = {2022-12-05T00:00:00.000+0100}, author = {Lepigre, Rodolphe and Sammler, Michael and Memarian, Kayvan and Krebbers, Robbert and Dreyer, Derek and Sewell, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2f5d2d1059e0ff4db381c9e93efc2d50c/dblp}, ee = {https://doi.org/10.1145/3498681}, interhash = {50e01a580035686bdd2f68c46ebc0a8a}, intrahash = {f5d2d1059e0ff4db381c9e93efc2d50c}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {1-32}, timestamp = {2024-04-08T09:54:29.000+0200}, title = {VIP: verifying real-world C idioms with integer-pointer casts.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#LepigreSMKDS22}, volume = 6, year = 2022 }