Constraint-Based Program Reasoning with Heaps and Separation.

Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh

Browse the full CP paper archive.