A Concrete Memory Model for CompCert. Besson, F., Blazy, S., & Wilke, P. In Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings, pages 67–83, 2015.
Paper doi bibtex @inproceedings{DBLP:conf/itp/BessonBW15,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Sandrine Blazy and
Pierre Wilke},
title = {A Concrete Memory Model for CompCert},
booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
2015, Nanjing, China, August 24-27, 2015, Proceedings},
pages = {67--83},
year = {2015},
crossref = {DBLP:conf/itp/2015},
url = {https://doi.org/10.1007/978-3-319-22102-1\_5},
doi = {10.1007/978-3-319-22102-1\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/itp/BessonBW15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"2Fud6m2WqBDDj36wH","bibbaseid":"besson-blazy-wilke-aconcretememorymodelforcompcert-2015","downloads":0,"creationDate":"2019-02-19T13:31:04.715Z","title":"A Concrete Memory Model for CompCert","author_short":["Besson, F.","Blazy, S.","Wilke, P."],"year":2015,"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pers/tb2/b/Blazy:Sandrine.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Frédéric"],"propositions":[],"lastnames":["Besson"],"suffixes":[]},{"firstnames":["Sandrine"],"propositions":[],"lastnames":["Blazy"],"suffixes":[]},{"firstnames":["Pierre"],"propositions":[],"lastnames":["Wilke"],"suffixes":[]}],"title":"A Concrete Memory Model for CompCert","booktitle":"Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings","pages":"67–83","year":"2015","crossref":"DBLP:conf/itp/2015","url":"https://doi.org/10.1007/978-3-319-22102-1_5","doi":"10.1007/978-3-319-22102-1_5","timestamp":"Sun, 21 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/conf/itp/BessonBW15","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/itp/BessonBW15,\n author = {Fr{\\'{e}}d{\\'{e}}ric Besson and\n Sandrine Blazy and\n Pierre Wilke},\n title = {A Concrete Memory Model for CompCert},\n booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}\n 2015, Nanjing, China, August 24-27, 2015, Proceedings},\n pages = {67--83},\n year = {2015},\n crossref = {DBLP:conf/itp/2015},\n url = {https://doi.org/10.1007/978-3-319-22102-1\\_5},\n doi = {10.1007/978-3-319-22102-1\\_5},\n timestamp = {Sun, 21 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/conf/itp/BessonBW15},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Besson, F.","Blazy, S.","Wilke, P."],"key":"DBLP:conf/itp/BessonBW15","id":"DBLP:conf/itp/BessonBW15","bibbaseid":"besson-blazy-wilke-aconcretememorymodelforcompcert-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-22102-1_5"},"downloads":0,"html":""},"search_terms":["concrete","memory","model","compcert","besson","blazy","wilke"],"keywords":[],"authorIDs":[],"dataSources":["dFq2BpHTjvGdGdpXC"]}