Browse "RIMS Collection" by Author Yi, Kwangkeun
Showing results 1 to 2 of 2
| A cost-effective estimation of uncaught exceptions in Standard ML programs Yi, Kwangkeun; Ryu, Sukyoung, THEORETICAL COMPUTER SCIENCE, v.277, no.1-2, pp.185 - 217, 2002-04 |
| A proof method for the correctness of modularized 0CFA Lee, O; Yi, Kwangkeun; Paek., Yunheung, INFORMATION PROCESSING LETTERS, v.81, no.4, pp.179 - 185, 2002-02 |
Discover
Type
- 4,825 Article
- 3,516 Conference
- 1,493 Patent
Open Access
- 223 OA Article
Date issued
- 1 2040 - 2041
- 1,334 2020 - 2029
- 2,943 2010 - 2019
- 2,339 2000 - 2009
- 1,846 1990 - 1999
- 81 1970 - 1979
- 3 1964 - 1969