Cited By
View all- Choi WVazirani MSantolucito M(2021)Program Synthesis for Musicians: A Usability Testbed for Temporal Logic SpecificationsProgramming Languages and Systems10.1007/978-3-030-89051-3_4(47-61)Online publication date: 12-Oct-2021
- Yessenov KKuraj ISolar-Lezama A(2017)DemoMatch: API discovery from demonstrationsACM SIGPLAN Notices10.1145/3140587.306238652:6(64-78)Online publication date: 14-Jun-2017
- Yessenov KKuraj ISolar-Lezama ACohen AVechev M(2017)DemoMatch: API discovery from demonstrationsProceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3062341.3062386(64-78)Online publication date: 14-Jun-2017
- Show More Cited By