Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming.

Tuur Benoit, Bart Jacobs

Browse the full IFM paper archive.