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

Microsoft Translator |

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

Cristiano Calcagno, Samin Ishtiaq, and Peter O'Hearn
2000

In PPDP

Details

Type	Inproceedings

Related People

Samin Ishtiaq

Share

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