FrAngel: component-based synthesis with control structures

Kensen Shi, Jacob Steinhardt, Percy Liang. FrAngel: component-based synthesis with control structures. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]

Abstract

Abstract is missing.