Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh. Constraint-Based Program Reasoning with Heaps and Separation. In Christian Schulte, editor, Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings. Volume 8124 of Lecture Notes in Computer Science, pages 282-298, Springer, 2013. [doi]
Abstract is missing.