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

In  PPDP

Details

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