Claude Marché, Christine Paulin-Mohring. Reasoning About Java Programs with Aliasing and Frame Conditions. In Joe Hurd, Thomas F. Melham, editors, Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings. Volume 3603 of Lecture Notes in Computer Science, pages 179-194, Springer, 2005. [doi]
Abstract is missing.