macrod
Archive Now Discuss Search About

May 21, 2018

Borrowing Safe Pointers from Rust in SPARK

In the field of deductive software verification, programs with pointers present a major challenge due to pointer aliasing.

Follow @MarkFRodriguez on Micro.blog.