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.

Three answers to the aliasing problem given before there was a connective for it, in the order they were tried: Landin observes that while nothing is updated the extent of sharing is immaterial, and names assignment as what would end that; Hoare forbids it, requiring that parameters a procedure may change be distinct; Laventhal describes it, restricting each structure to a declared structural class. Read as the run-up to `separation-logic`, whose contribution is to make disjointness a proposition instead of a side condition.