Generalized Typestate Checking for Data Structure Consistency.

Patrick Lam Viktor Kuncak Martin C. Rinard

Published in: VMCAI (2005)

Keyphrases

data structure
consistency checking
constraint networks
database
path consistency
neural network
index structure
data types
space efficient
global consistency