Browse "RIMS Journal Papers" by Author Paek., Yunheung
Showing results 1 to 2 of 2
| 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 |
| Efficient and precise array access analysis Paek., Yunheung; Hoeflinger, J; Padua, D, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.24, no.1, pp.65 - 109, 2002-01 |
Discover
Type
- 4,809 Article
Open Access
- 223 OA Article
Date issued
- 1,025 2020 - 2024
- 1,493 2010 - 2019
- 1,145 2000 - 2009
- 763 1990 - 1999
- 299 1980 - 1989
- 3 1964 - 1969