Sign in
Natural synthesis of provably-correct data-structure manipulations.
Xiaokang Qiu
Armando Solar-Lezama
Published in:
Proc. ACM Program. Lang. (2017)
Keyphrases
</>
error estimates
provably correct
data structure
situation calculus
formal methods
space efficient
neural network
machine learning
real world
artificial systems
r tree
quadtree
program synthesis
tree structure
software engineering
interval arithmetic
efficient data structures