Sign in

Type-based data structure verification.

Ming KawaguchiPatrick Maxim RondonRanjit Jhala
Published in: PLDI (2009)
Keyphrases
  • data structure
  • model checking
  • face verification
  • feature selection
  • itemsets
  • quadtree
  • search engine
  • efficient data structures