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

Share

Cite as