nLab
separation logic

Separation logic is an extension of Hoare logic? used to reason about memory separation and memory sharing in programs with pointer structures.

Created on May 3, 2016 at 12:33:18. See the history of this page for a list of all contributions to it.