Phased synthesis of divide and conquer programs.

Azadeh Farzan Victor Nicolet

Published in: PLDI (2021)

Keyphrases

functional programs
control flow
data sets
texture synthesis
fixpoint
programming environment
program synthesis
high level
free software