A gentle introduction to C* VII

The language’s data model and access model could hardly be more precise. Let’s look into how memory is handled with this.

Welcome to part seven of A gentle introduction to C*. Today we will be diving into what is colloquially called the memory model of C*. To be precise, this is described as a combination of a data model, describing how bits are laid out, and an access model, describing how bits are treated in the spacetime concept of a C* program.