Component-based synthesis for complex APIs.

Yu Feng Ruben Martins Yuepeng Wang Isil Dillig Thomas W. Reps

Published in: POPL (2017)

Keyphrases

lightweight
data sets
real world
information systems
web services
expert systems
evolutionary algorithm
control system
open source
source code
higher level
complex structures
mechanical devices