Resources, concurrency, and local reasoning von O’Hearn, Peter W.

Volltext

Compositional Shape Analysis by Means of Bi-Abduction von CALCAGNO, Cristiano, DISTEFANO, Dino, O'HEARN, Peter W, YANG, Hongseok

Volltext

Smallfoot: Modular Automatic Assertion Checking with Separation Logic von Berdine, Josh, Calcagno, Cristiano, O’Hearn, Peter W.

Volltext

Resources, Concurrency and Local Reasoning von O’Hearn, Peter W.

Volltext

A Local Shape Analysis Based on Separation Logic von Distefano, Dino, O’Hearn, Peter W., Yang, Hongseok

Volltext

A Decidable Fragment of Separation Logic von Berdine, Josh, Calcagno, Cristiano, O’Hearn, Peter W.

Volltext

Possible worlds and resources: the semantics of BI von Pym, David J., O'Hearn, Peter W., Yang, Hongseok

Volltext

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic von Calcagno, Cristiano, Distefano, Dino, O’Hearn, Peter W., Yang, Hongseok

Volltext

Symbolic execution with separation logic von BERDINE, Josh, CALCAGNO, Cristiano, O'HEARN, Peter W

Volltext

The Logic of Bunched Implications von O'Hearn, Peter W., Pym, David J.

Volltext

The Essence of Reynolds von Brookes, Stephen, O’Hearn, Peter W., Reddy, Uday

Volltext

Automatic Termination Proofs for Programs with Shape-Shifting Heaps von Berdine, Josh, Cook, Byron, Distefano, Dino, O’Hearn, Peter W.

Volltext

Incorrectness logic von O'Hearn, Peter W.

Volltext

Separation and Information Hiding von O'HEARN, Peter W, YANG, Hongseok, REYNOLDS, John C

Volltext

RacerD: compositional static race detection von Blackshear, Sam, Gorogiannis, Nikos, O'Hearn, Peter W., Sergey, Ilya

Volltext

Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings von Leavens, Gary T, O'Hearn, Peter, Rajamani, Sriram K

Volltext

Concurrent incorrectness separation logic von Raad, Azalea, Berdine, Josh, Dreyer, Derek, O'Hearn, Peter W.

Volltext

Finding real bugs in big programs with incorrectness logic von Le, Quang Loc, Raad, Azalea, Villard, Jules, Berdine, Josh, Dreyer, Derek, O'Hearn, Peter W.

Volltext

Graphical models of separation logic von Wehrman, Ian, Hoare, C.A.R., O'Hearn, Peter W.

Volltext

A true positives theorem for a static race detector von Gorogiannis, Nikos, O'Hearn, Peter W., Sergey, Ilya

Volltext