예제로부터 명령형 프로그램을 합성하는 방법 


44권  9호, pp. 986-991, 9월  2017
10.5626/JOK.2017.44.9.986


PDF

  요약

본 논문에서는 주어진 입 · 출력 예제로부터 명령형 프로그램을 합성하는 방법을 제시한다. 프로그램 합성기의 입력으로 (1) 입 · 출력 예제, (2) 불완전한 프로그램, (3) 사용될 변수 및 정수가 주어지면, 합성기는 주어진 입 · 출력 예제를 모두 만족하는 완성된 프로그램을 출력한다. 기본 알고리즘은 정답 프로그램을 찾을 때까지, 가능한 모든 프로그램을 나열하는 것이다(enumerative search). 이 경우 탐색 공간이 매우 크므로 오랜 시간이 걸린다는 문제점이 있다. 시간을 효과적으로 단축하기 위한 우리의 방법은, 코드 최적화 기법을 이용해 문법은 다르지만 같은 의미의 프로그램들을 확인함으로써, 불필요한 중복탐색을 피하는 것이다. 20개의 입문자 교육용 프로그래밍 문제들을 대상으로 합성 알고리즘 성능을 평가한 결과, 우리의 방법이 기본 탐색 알고리즘의 성능을 약 10배 향상시킴을 확인하였다.


  통계
2022년 11월부터 누적 집계
동일한 세션일 때 여러 번 접속해도 한 번만 카운트됩니다. 그래프 위에 마우스를 올리면 자세한 수치를 확인하실 수 있습니다.
  논문 참조

[IEEE Style]

S. So, T. Choi, J. Jung, H. Oh, "Synthesizing Imperative Programs from Examples," Journal of KIISE, JOK, vol. 44, no. 9, pp. 986-991, 2017. DOI: 10.5626/JOK.2017.44.9.986.


[ACM Style]

Sunbeom So, Tae-Hyoung Choi, Jun Jung, and Hakjoo Oh. 2017. Synthesizing Imperative Programs from Examples. Journal of KIISE, JOK, 44, 9, (2017), 986-991. DOI: 10.5626/JOK.2017.44.9.986.


[KCI Style]

소순범, 최태형, 정준, 오학주, "예제로부터 명령형 프로그램을 합성하는 방법," 한국정보과학회 논문지, 제44권, 제9호, 986~991쪽, 2017. DOI: 10.5626/JOK.2017.44.9.986.


[Endnote/Zotero/Mendeley (RIS)]  Download


[BibTeX]  Download



Search




Journal of KIISE

  • ISSN : 2383-630X(Print)
  • ISSN : 2383-6296(Electronic)
  • KCI Accredited Journal

사무국

  • Tel. +82-2-588-9240
  • Fax. +82-2-521-1352
  • E-mail. chwoo@kiise.or.kr