Compositional bottom-up type inference algorithm using type scheme타입스킴을 이용한 합성적인 상향성 타입 유추 알고리즘

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 447
  • Download : 0
DC FieldValueLanguage
dc.contributor.advisorChoe, Kwang-Moo-
dc.contributor.advisor최광무-
dc.contributor.authorKim, Se-Won-
dc.contributor.author김세원-
dc.date.accessioned2011-12-13T06:04:44Z-
dc.date.available2011-12-13T06:04:44Z-
dc.date.issued2005-
dc.identifier.urihttp://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=243678&flag=dissertation-
dc.identifier.urihttp://hdl.handle.net/10203/34643-
dc.description학위논문(석사) - 한국과학기술원 : 전산학전공, 2005.2, [ iv, 30 p. ]-
dc.description.abstractWe 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.languageeng-
dc.publisher한국과학기술원-
dc.subject타입 유추 알고리즘-
dc.subjectType inference algorithm-
dc.titleCompositional bottom-up type inference algorithm using type scheme-
dc.title.alternative타입스킴을 이용한 합성적인 상향성 타입 유추 알고리즘-
dc.typeThesis(Master)-
dc.identifier.CNRN243678/325007 -
dc.description.department한국과학기술원 : 전산학전공, -
dc.identifier.uid020023094-
dc.contributor.localauthorChoe, Kwang-Moo-
dc.contributor.localauthor최광무-
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0