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

Jianhua Zhao Xuandong Li

Published in: ICTAC (2013)

Keyphrases

data structure
multi valued
classical logic
modal logic
logic programming
databases
information retrieval
case study
probabilistic logic
logical framework
defeasible logic
abductive reasoning
sound and complete axiomatization