Follow
Hangyeol Cho
Hangyeol Cho
Other names조한결
Ph.D. student in Computer Science at Hanyang University
Verified email at hanyang.ac.kr
Title
Cited by
Cited by
Year
Inductive synthesis of structurally recursive functional programs from non-recursive expressions
W Lee, H Cho
Proceedings of the ACM on Programming Languages 7 (POPL), 2048-2078, 2023
92023
Madusa: mobile application demo generation based on usage scenarios
J Lee, H Cho, W Lee
Automated Software Engineering 30 (1), 8, 2023
2023
분할 정복 및 요약해석 기반 JavaScript 프로그램 합성
조정민， 조한결， 이우석
정보과학회논문지 48 (6), 629-638, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–3