Showing results 1 to 2 of 2
Type inference and lattice validation for program-analysis specifications = 프로그램 분석 명세의 타입 유추 및 래티스 타입 정의의 오류 검사link Kim, You-Il; 김유일; et al, 한국과학기술원, 2003 |
좁은 범위의 타입 오류 정보를 위한 타입유추 알고리즘 = $\cal M$ : a polymorphic type inference algorithm for short-ranged type error messageslink 이욱세; Lee, Ook-Seh; et al, 한국과학기술원, 1997 |
Discover