Tag
preconditions
- Apr 17, 2024 What the Unsafe Keyword Actually Disables The unsafe marker gates a short, enumerable list of operations rather than switching off the type system, and the obligations it transfers reach past the block that names it. systems programming
- May 31, 2023 Preconditions and Postconditions as the Function Contract How a function contract divides obligations between caller and implementer, what a runtime check costs, and where frame conditions and aliasing break the guarantee. software engineering