There is also safe_ptr[0] in case anyone is interested. [0]: http://archive.adai... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		kuwze on Dec 7, 2017 \| parent \| context \| favorite \| on: Safe Pointers in SPARK 2014 There is also safe_ptr[0] in case anyone is interested. [0]: http://archive.adaic.com/intro/tech/safe_ptr.html

pjmlp on Dec 7, 2017 [–]

Thanks, quite interesting, specially the publication year (1999), yet another proof how long people have been trying to advocate for safer systems.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact