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	5902	January 8, 2021
Int2ptr and runtime provenance models Unsafe Code Guidelines	24	2987	February 12, 2022
Types as Contracts Unsafe Code Guidelines	118	12453	March 25, 2019
Pointers Are Complicated, or: What's in a Byte? language design	79	7067	March 25, 2019
Comparing dangling pointers language design	43	11215	March 25, 2019