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.
A Concrete Memory Model for CompCert [link]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