Completeness of Pointer Program Verification by Separation Logic.

Makoto Tatsuta Wei-Ngan Chin Mahmudul Faisal Al Ameen

Published in: SEFM (2009)

Keyphrases

data structure
modal logic
classical logic
logic programming
real time
data sets
multi valued
computational properties
social networks
database systems
knowledge representation
data quality