두 페이즈 추상 해석을 이용한 논리 프로그램 수행기들의 구현 및 분석An implementation and analysis of logic program evaluators using two-phase abstract interpretation
- Advisors
- 최광무researcher; Choe, Kwang-Mooresearcher
- Description
- 한국과학기술원 : 전산학과,
- Publisher
- 한국과학기술원
- Issue Date
- 1995
- Identifier
- 99321/325007 / 000933051
- Language
- kor
- Description
학위논문(석사) - 한국과학기술원 : 전산학과, 1995.2, [ v, 45 p. ]
- Appears in Collection
- CS-Theses_Master(석사논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.