Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292.

Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn

Browse the full PPDP paper archive.