Assertion-Directed Precondition Synthesis for Loops over Data Structures.

Juan Zhai Hanfei Wang Jianhua 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