Conference paper Open Access

Certifying Graph-Manipulating C Programs via Localizations within Data Structures

Wang, Shengyi; Cao, Qinxiang; Mohan, Anshuman; Hobor, Aquinas

BibTeX Export

@proceedings{wang_shengyi_2019_3368779,
  title        = {{Certifying Graph-Manipulating C Programs  via 
                   Localizations within Data Structures}},
  year         = 2019,
  publisher    = {Zenodo},
  month        = aug,
  note         = {{As submitted to the OOPSLA '19 Artifact Evaluation 
                   Committee}},
  doi          = {10.5281/zenodo.3368779},
  url          = {https://doi.org/10.5281/zenodo.3368779}
}
131
89
views
downloads
All versions This version
Views 131131
Downloads 8989
Data volume 10.5 MB10.5 MB
Unique views 116116
Unique downloads 6969
More info on how stats are collected.
Indexed in
Publication date:
August 15, 2019
DOI:
10.5281/zenodo.3368779

Zenodo DOI Badge

DOI 

10.5281/zenodo.3368779

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3368779.svg)](https://doi.org/10.5281/zenodo.3368779)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.3368779.svg
   :target: https://doi.org/10.5281/zenodo.3368779

HTML 

<a href="https://doi.org/10.5281/zenodo.3368779"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3368779.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.3368779.svg

Target URL 

https://doi.org/10.5281/zenodo.3368779

Keyword(s):
Separation logic Graph-manipulating programs Coq CompCert VST
License (for files):
Other (Attribution)

Versions

Version 0.1 10.5281/zenodo.3368779 Aug 15, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3368778. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export