Achieving Safety Incrementally with Checked C
From AcaWiki
Citation: Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks Achieving Safety Incrementally with Checked C.
Internet Archive Scholar (search for fulltext): Achieving Safety Incrementally with Checked C
Wikidata (metadata): Q62096157
Download: http://www.cs.umd.edu/~mwh/papers/checkedc-incr.pdf
Tagged:
Summary
Checked C allows mixing safe (checked) and unsafe pointers. Authors describe proof that checked regions of code cannot be blamed for memory errors, even when checked regions call unsafe code.
