Post-condition-Directed Invariant Inference for Loops over Data Structures.

Juan Zhai Hanfei Wang Jianhua Zhao

Published in: SERE (Companion) (2014)

Keyphrases

data structure
sufficient conditions
bayesian networks
inference mechanism
data types
affine transformation
inference engine
moment invariants
real time
databases
multiscale
nearest neighbor
index structure
affine invariant
suffix tree
dynamic bayesian networks