분할 정복 및 요약해석 기반 JavaScript 프로그램 합성
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 조정민 | - |
dc.contributor.author | 조한결 | - |
dc.contributor.author | 이우석 | - |
dc.date.accessioned | 2022-07-18T01:38:49Z | - |
dc.date.available | 2022-07-18T01:38:49Z | - |
dc.date.created | 2021-08-25 | - |
dc.date.issued | 2021-06 | - |
dc.identifier.issn | 2383-630X | - |
dc.identifier.uri | https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/108286 | - |
dc.description.abstract | 프로그램 합성이란 사용자의 의도와 요구에 맞는 프로그램을 자동 생성하는 기술로서, 개발 생산성을 향상시키는데 사용될 수 있다. 본 논문에서는 사용자로부터 입력 받은 입출력 예제를 만족시키는 자바스크립트 프로그램을 자동으로 합성하는 방법을 제시한다. 제시하는 프로그램 합성 알고리즘은 분할 정복에 기반하여 프로그램 탐색을 효율적으로 하는 Version Space Algebra 기반 합성기법에 기반하며, 요약해석(Abstract Interpretation)을 활용하여 무한한 탐색공간을 유한하게 만들어 바람직한 프로그램을 빠르게 찾아낸다. 본 논문에서 제시한 방법을 총 140개의 문자열과 정수 프로그램 합성 문제에 대해 적용해 본 결과, 평균 9초 이내에 원하는 프로그램이 생성되는 것을 확인하였다. | - |
dc.language | 한국어 | - |
dc.language.iso | ko | - |
dc.publisher | 한국정보과학회 | - |
dc.title | 분할 정복 및 요약해석 기반 JavaScript 프로그램 합성 | - |
dc.title.alternative | Program Synthesis for JavaScript via Divide-and-Conquer and Abstraction Interpretation | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | 이우석 | - |
dc.identifier.doi | 10.5626/JOK.2021.48.6.629 | - |
dc.identifier.bibliographicCitation | 정보과학회논문지, v.48, no.6, pp.629 - 638 | - |
dc.relation.isPartOf | 정보과학회논문지 | - |
dc.citation.title | 정보과학회논문지 | - |
dc.citation.volume | 48 | - |
dc.citation.number | 6 | - |
dc.citation.startPage | 629 | - |
dc.citation.endPage | 638 | - |
dc.type.rims | ART | - |
dc.identifier.kciid | ART002724035 | - |
dc.description.journalClass | 2 | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | kci | - |
dc.subject.keywordAuthor | 프로그램 합성 | - |
dc.subject.keywordAuthor | JavaScript | - |
dc.subject.keywordAuthor | 입출력 예제를 통한 프로그래밍 | - |
dc.subject.keywordAuthor | 요약해석 | - |
dc.subject.keywordAuthor | program synthesis | - |
dc.subject.keywordAuthor | javascript | - |
dc.subject.keywordAuthor | programming-by-examples | - |
dc.subject.keywordAuthor | abstract interpretation | - |
dc.identifier.url | https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE10564126&language=ko_KR&hasTopBanner=true | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
55 Hanyangdeahak-ro, Sangnok-gu, Ansan, Gyeonggi-do, 15588, Korea+82-31-400-4269 sweetbrain@hanyang.ac.kr
COPYRIGHT © 2021 HANYANG UNIVERSITY. ALL RIGHTS RESERVED.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.