DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Yi, Kwang-Keun | - |
dc.contributor.advisor | 이광근 | - |
dc.contributor.author | Choi, Woong-Sik | - |
dc.contributor.author | 최웅식 | - |
dc.date.accessioned | 2011-12-13T06:02:32Z | - |
dc.date.available | 2011-12-13T06:02:32Z | - |
dc.date.issued | 2002 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=174153&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34500 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학전공, 2002.2, [ [iii], 39 p. ] | - |
dc.description.abstract | In this thesis, we present a mono-variant demand-driven set-based analysis which solves only those constraints affecting subset of program points one wants to analyze. We separate the analysis into two directions: forward to know which values flow into a given point, and backward to know which program points that a given value into. We prove that for interested program points, our analysis gives exactly same results as whole program set-based analysis. We apply our analysis to check ML pattern matching based on approximated runtime values. We report the performance of our analysis as percentage of constraints solved compared with whole program analysis. Experimental results are not much satisfactory both in the accuracy of mono-variant set-based analysis and in the efficiency of demand-driven approach. We discuss that poly-variance can improve both the accuracy and the efficiency. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Pattern match check | - |
dc.subject | Demand-driven analysis | - |
dc.subject | Set-based analysis | - |
dc.subject | ML program analysis | - |
dc.subject | ML 프로그램 분석 | - |
dc.subject | 패턴 매치 검사 | - |
dc.subject | 요구사항에 기반한 분석 | - |
dc.subject | 집합기반 분석 | - |
dc.title | Mono-variant demand-driven set-based analysis for ML programs | - |
dc.title.alternative | 요구 사항에 기반하는 단일성 집합 기반 ML 프로그램 분석 방법 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 174153/325007 | - |
dc.description.department | 한국과학기술원 : 전산학전공, | - |
dc.identifier.uid | 020003558 | - |
dc.contributor.localauthor | Yi, Kwang-Keun | - |
dc.contributor.localauthor | 이광근 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.