Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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