The downgrading semantics of memory safety (Extended version)

• Posted 2 hours ago by matt_d
• 2 points