{"_id":"yhr4pfuHkPFGcEKPa","bibbaseid":"jourdan-laporte-blazy-leroy-pichardie-aformallyverifiedcstaticanalyzer-2015","downloads":0,"creationDate":"2019-02-19T13:31:04.718Z","title":"A Formally-Verified C Static Analyzer","author_short":["Jourdan, J.","Laporte, V.","Blazy, S.","Leroy, X.","Pichardie, D."],"year":2015,"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pers/tb2/b/Blazy:Sandrine.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jacques-Henri"],"propositions":[],"lastnames":["Jourdan"],"suffixes":[]},{"firstnames":["Vincent"],"propositions":[],"lastnames":["Laporte"],"suffixes":[]},{"firstnames":["Sandrine"],"propositions":[],"lastnames":["Blazy"],"suffixes":[]},{"firstnames":["Xavier"],"propositions":[],"lastnames":["Leroy"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Pichardie"],"suffixes":[]}],"title":"A Formally-Verified C Static Analyzer","booktitle":"Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015","pages":"247–259","year":"2015","crossref":"DBLP:conf/popl/2015","url":"https://doi.org/10.1145/2676726.2676966","doi":"10.1145/2676726.2676966","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/conf/popl/JourdanLBLP15","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/popl/JourdanLBLP15,\n author = {Jacques{-}Henri Jourdan and\n Vincent Laporte and\n Sandrine Blazy and\n Xavier Leroy and\n David Pichardie},\n title = {A Formally-Verified {C} Static Analyzer},\n booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on\n Principles of Programming Languages, {POPL} 2015, Mumbai, India, January\n 15-17, 2015},\n pages = {247--259},\n year = {2015},\n crossref = {DBLP:conf/popl/2015},\n url = {https://doi.org/10.1145/2676726.2676966},\n doi = {10.1145/2676726.2676966},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/conf/popl/JourdanLBLP15},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Jourdan, J.","Laporte, V.","Blazy, S.","Leroy, X.","Pichardie, D."],"key":"DBLP:conf/popl/JourdanLBLP15","id":"DBLP:conf/popl/JourdanLBLP15","bibbaseid":"jourdan-laporte-blazy-leroy-pichardie-aformallyverifiedcstaticanalyzer-2015","role":"author","urls":{"Paper":"https://doi.org/10.1145/2676726.2676966"},"downloads":0,"html":""},"search_terms":["formally","verified","static","analyzer","jourdan","laporte","blazy","leroy","pichardie"],"keywords":[],"authorIDs":[],"dataSources":["dFq2BpHTjvGdGdpXC"]}