Carbon Checked Pointers: Architecture Note on Safe Memory Access
An architecture note outlining the requirements, minimal design, trust boundaries, operational checks, failure modes, and evolution triggers for Carbon’s checked pointer feature.
Loading…