Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures.

Jianhua Zhao, Xuandong Li

Browse the full ICTAC paper archive.