Type inference and lattice validation for program-analysis specifications = 프로그램 분석 명세의 타입 유추 및 래티스 타입 정의의 오류 검사

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 225
  • Download : 0
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.
Advisors
Yi, Kwang-Keunresearcher이광근researcher
Description
한국과학기술원 : 전산학전공,
Publisher
한국과학기술원
Issue Date
2003
Identifier
180760/325007 / 020013117
Language
eng
Description

학위논문(석사) - 한국과학기술원 : 전산학전공, 2003.2, [ v, 37 p. ]

Keywords

Type Inference; Program Analysis; 프로그램 분석; 타입 유추

URI
http://hdl.handle.net/10203/34567
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=180760&flag=dissertation
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