Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W. Component-based synthesis for complex APIs. (English) Zbl 1380.68108 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 599-612 (2017). Cited in 9 Documents MSC: 68N20 Theory of compilers and interpreters 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) Keywords:component-based; Petri net; program synthesis; type-directed Software:halp; PARSEWeb; CodeHint; SyPet; Soot; XSnippet; Denali; JSketch; Sat4j PDFBibTeX XMLCite \textit{Y. Feng} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 599--612 (2017; Zbl 1380.68108) Full Text: DOI