Sign in

DITTO: automatic incrementalization of data structure invariant checks (in Java).

Ajeet ShankarRastislav Bodík
Published in: PLDI (2007)
Keyphrases
  • data structure
  • semi automatic
  • data driven
  • source code
  • fully automatic
  • programming language
  • open source
  • quadtree
  • suffix tree
  • database
  • data sets
  • information retrieval
  • image sequences