What is this? This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Aliasing before separation logic

A subject the papers are about. The loosest grouping, and the one to reach for last.

Answers to the aliasing problem given before there was a connective for it. Collects them in the order they were tried, from the observation that sharing is immaterial while nothing is updated onward. Membership requires the work to predate separation logic and to address aliasing directly.