Semantic Analysis of Pointer Aliasing, Allocation and Disposal in Hoare Logic

Cristiano Calcagno, Samin Ishtiaq, and Peter O'Hearn

Details

Publication typeInproceedings
Published inPPDP
> Publications > Semantic Analysis of Pointer Aliasing, Allocation and Disposal in Hoare Logic