DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Choe, Kwang-Moo | - |
dc.contributor.advisor | 최광무 | - |
dc.contributor.author | Kim, Se-Won | - |
dc.contributor.author | 김세원 | - |
dc.date.accessioned | 2011-12-13T06:04:44Z | - |
dc.date.available | 2011-12-13T06:04:44Z | - |
dc.date.issued | 2005 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=243678&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34643 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학전공, 2005.2, [ iv, 30 p. ] | - |
dc.description.abstract | We present type inference algorithm $V$, which can be applied to incremental type inference systems for functional languages. Our research is motivated from our work on incremental type inference system for smart editor, which can notify type errors while you are editing a program. An algorithm for incremental type inference system should fulfill some requirements. First, it should be agile in response to the continual changes of the program. Second, it must not be panic on free variable and stop analyzing, because unbound variables are frequent in your incomplete program. Although $W^*$ which is given by Bernstein and Stark naturally satisfies the requirements for incremental type inference system, it may induce exponentially many assumptions, which are type contexts for free variables. Moreover, $W^*$ cannot give concise self-contained type information for \texttt{let} declarations. In this thesis, we present algorithm $V$ which does not have the defects of $W^* | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 타입 유추 알고리즘 | - |
dc.subject | Type inference algorithm | - |
dc.title | Compositional bottom-up type inference algorithm using type scheme | - |
dc.title.alternative | 타입스킴을 이용한 합성적인 상향성 타입 유추 알고리즘 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 243678/325007 | - |
dc.description.department | 한국과학기술원 : 전산학전공, | - |
dc.identifier.uid | 020023094 | - |
dc.contributor.localauthor | Choe, Kwang-Moo | - |
dc.contributor.localauthor | 최광무 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.