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

DOI10.1007/978-3-642-39718-9_24zbMath1405.68183OpenAlexW340612474MaRDI QIDQ2851924

Li Xuandong, Zhao Jianhua

Publication date: 4 October 2013

Published in: Theoretical Aspects of Computing – ICTAC 2013 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39718-9_24

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

This page was built for publication: Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures