Sign in
Synthesis of Recursive ADT Transformations from Reusable Templates.
Jeevana Priya Inala
Nadia Polikarpova
Xiaokang Qiu
Benjamin S. Lerner
Armando Solar-Lezama
Published in:
TACAS (1) (2017)
Keyphrases
</>
program synthesis
texture synthesis
real time
artificial intelligence
image sequences
multiscale
software components
recursive algorithm
databases
case study
expert systems
query language
software reuse
datalog programs
reusable components