DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Yi, Kwang-Keun | - |
dc.contributor.advisor | 이광근 | - |
dc.contributor.author | Kim, You-Il | - |
dc.contributor.author | 김유일 | - |
dc.date.accessioned | 2011-12-13T06:03:33Z | - |
dc.date.available | 2011-12-13T06:03:33Z | - |
dc.date.issued | 2003 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=180760&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34567 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학전공, 2003.2, [ v, 37 p. ] | - |
dc.description.abstract | We present a characteristic type-inference algorithm for Rabbit. Rabbit is the program-analysis-specfication language for System Zoo. Rabbit has some overloaded operators and allows implicit type castings. Owing to these features of the language, we cannot apply a simple type-inference algorithm based on unification. We present a lattice-validation algorithm for Rabbit. Rabbit provides various syntax to define lattices. Among those, providing user-defined join operator to a set sometimes results in an invalid lattice definition. We want to detect the invalid lattice definition, for it may result in an incorrect program analysis. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Type Inference | - |
dc.subject | Program Analysis | - |
dc.subject | 프로그램 분석 | - |
dc.subject | 타입 유추 | - |
dc.title | Type inference and lattice validation for program-analysis specifications | - |
dc.title.alternative | 프로그램 분석 명세의 타입 유추 및 래티스 타입 정의의 오류 검사 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 180760/325007 | - |
dc.description.department | 한국과학기술원 : 전산학전공, | - |
dc.identifier.uid | 020013117 | - |
dc.contributor.localauthor | Yi, Kwang-Keun | - |
dc.contributor.localauthor | 이광근 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.