Pointers Are Complicated II, or: We need better language specs

notriddle Split this topic December 18, 2020, 6:21pm 18

12 posts were split to a new topic: Formalizing LLVM IR and Rust

Topic		Replies	Views
Formal specs and optimizations in general language design	89	5494	January 8, 2021
Int2ptr and runtime provenance models Unsafe Code Guidelines	24	2889	February 12, 2022
Types as Contracts Unsafe Code Guidelines	118	11896	March 25, 2019
Pointers Are Complicated, or: What's in a Byte? language design	79	6646	March 25, 2019
Comparing dangling pointers language design	43	10990	March 25, 2019