On: Safe Pointers in SPARK 2014

[pjmlp]

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