@inproceedings{marche:hal-03274993, TITLE = {{Reasoning about Java Programs with Aliasing and Frame Conditions}}, AUTHOR = {March{\'e}, Claude and Paulin-Mohring, Christine}, URL = {https://inria.hal.science/hal-03274993}, BOOKTITLE = {{Theorem Proving in Higher Order Logics}}, ADDRESS = {Oxford, United Kingdom}, PAGES = {179-194}, YEAR = {2005}, DOI = {10.1007/11541868\_12}, PDF = {https://inria.hal.science/hal-03274993/file/marche05tphols.pdf}, HAL_ID = {hal-03274993}, HAL_VERSION = {v1}, }