Peter O’Hearn, at the plenary session of FLoC 2018:
Byron Cook, at the plenary session of FLoC 2018:
James Brotherston, “An Introduction to Separation Logic” at Oracle Labs, Brisbane, Dec 2015 (with slides):
Peter O’Hearn, at the plenary session of FLoC 2018:
Byron Cook, at the plenary session of FLoC 2018:
James Brotherston, “An Introduction to Separation Logic” at Oracle Labs, Brisbane, Dec 2015 (with slides):
interfacereasoning.com 