[1710.07047] Safe Pointers in SPARK 2014 - discu.eu

Hacker News

Safe Pointers in SPARK 2014 https://arxiv.org/abs/1710.07047 38 comments 7/12/2017

Linking pages

Taking on a Challenge in SPARK | The AdaCore Blog https://blog.adacore.com/taking-on-a-challenge-in-spark 5 comments

Related searches:

Search whole site: site:arxiv.org

Search title: [1710.07047] Safe Pointers in SPARK 2014

See how to search.

Submit link to: