In my previous blog post on pointer provenance, I have shown that not thinking carefully about pointers can lead to a compiler that is internally inconsistent: programs that are intended to...

Related Keywords

Michael Sammler , , Pointers Are Complicated , Strict Provenance , Undefined Behavior , Abstract Machine , Stacked Borrows ,