%0 Conference Paper %1 conf/itp/BessonBW17 %A Besson, Frédéric %A Blazy, Sandrine %A Wilke, Pierre %B ITP %D 2017 %E Ayala-Rincón, Mauricio %E Muñoz, César A. %I Springer %K dblp %P 81-97 %T CompCertS: A Memory-Aware Verified C Compiler Using Pointer as Integer Semantics. %U http://dblp.uni-trier.de/db/conf/itp/itp2017.html#BessonBW17 %V 10499 %@ 978-3-319-66107-0

@inproceedings{conf/itp/BessonBW17, added-at = {2017-10-12T00:00:00.000+0200}, author = {Besson, Frédéric and Blazy, Sandrine and Wilke, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/227afb4e68c9ccc9bffaa45ef5eae537d/dblp}, booktitle = {ITP}, crossref = {conf/itp/2017}, editor = {Ayala-Rincón, Mauricio and Muñoz, César A.}, ee = {https://doi.org/10.1007/978-3-319-66107-0_6}, interhash = {23934edec528100d08ce4ff96564da12}, intrahash = {27afb4e68c9ccc9bffaa45ef5eae537d}, isbn = {978-3-319-66107-0}, keywords = {dblp}, pages = {81-97}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:14:23.000+0200}, title = {CompCertS: A Memory-Aware Verified C Compiler Using Pointer as Integer Semantics.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2017.html#BessonBW17}, volume = 10499, year = 2017 }