Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
분할 정복 및 요약해석 기반 JavaScript 프로그램 합성Program Synthesis for JavaScript via Divide-and-Conquer and Abstraction Interpretation
- Other Titles
- Program Synthesis for JavaScript via Divide-and-Conquer and Abstraction Interpretation
- Issue Date
- Jun-2021
- Publisher
- 한국정보과학회
- Keywords
- 프로그램 합성; JavaScript; 입출력 예제를 통한 프로그래밍; 요약해석; program synthesis; javascript; programming-by-examples; abstract interpretation
- Citation
- 정보과학회논문지, v.48, no.6, pp.629 - 638
- Indexed
- KCI
- Journal Title
- 정보과학회논문지
- Volume
- 48
- Number
- 6
- Start Page
- 629
- End Page
- 638
- ISSN
- 2383-630X
- Abstract
- 프로그램 합성이란 사용자의 의도와 요구에 맞는 프로그램을 자동 생성하는 기술로서, 개발 생산성을 향상시키는데 사용될 수 있다. 본 논문에서는 사용자로부터 입력 받은 입출력 예제를 만족시키는 자바스크립트 프로그램을 자동으로 합성하는 방법을 제시한다. 제시하는 프로그램 합성 알고리즘은 분할 정복에 기반하여 프로그램 탐색을 효율적으로 하는 Version Space Algebra 기반 합성기법에 기반하며, 요약해석(Abstract Interpretation)을 활용하여 무한한 탐색공간을 유한하게 만들어 바람직한 프로그램을 빠르게 찾아낸다. 본 논문에서 제시한 방법을 총 140개의 문자열과 정수 프로그램 합성 문제에 대해 적용해 본 결과, 평균 9초 이내에 원하는 프로그램이 생성되는 것을 확인하였다.
- Files in This Item
- Go to Link
- Appears in
Collections - COLLEGE OF COMPUTING > ERICA 컴퓨터학부 > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
Related Researcher
- Lee, Woo suk
- ERICA 소프트웨어융합대학 (ERICA 컴퓨터학부)