The downgrading semantics of memory safety (Extended version)

2 points | by matt_d 10 hours ago