Sign in

Assertion-Directed Precondition Synthesis for Loops over Data Structures.

Juan ZhaiHanfei WangJianhua Zhao
Published in: SETTA (2015)
Keyphrases
  • data structure
  • data types
  • quadtree
  • program synthesis
  • data mining
  • index structure
  • efficient data structures
  • real world
  • database systems
  • similarity search
  • texture synthesis
  • mechanical devices