Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints.

Zhaowei Xu Taolue Chen Zhilin Wu

Published in: CADE (2017)

Keyphrases

data sets
database
image data
missing data
data mining techniques
data sources
knowledge discovery
data analysis
input data
data collection
user defined
raw data
tree nodes
data points
training data
data mining
tree patterns