Browse "School of Computing(전산학부)" by Author Kang, Hyun-Goo
Showing results 1 to 6 of 6
| A bottom-up pointer analysis using the update history Kang, Hyun-Goo; Han, Taisook, INFORMATION AND SOFTWARE TECHNOLOGY, v.51, no.4, pp.691 - 707, 2009-04 |
| A Static Bug Detector for Object Initialization Problem in Java Programs Kang, Hyun-Goo; Kim, Youil; Seo, Sunae; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.7 - 12, 2005-06-01 |
| A static bug detector for uninitialized field references in Java programs Seo, Sunae; Kim, Youil; Kang, Hyun-Goo; Han, Taisook, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E90D, no.10, pp.1663 - 1671, 2007-10 |
| (A) bottom-up pointer analysis using the update history = 업데이트 기록에 기반한 상향방식 포인터 분석link Kang, Hyun-Goo; 강현구; et al, 한국과학기술원, 2009 |
| Hardware/Software Interface Generation for Embedded System using Hardware Interface Automata Son, Choonho; Yun, Jeon-Han; Kang, Hyun-Goo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.213 - 218, 2005-06-01 |
| Verifying Safety of File-like Resources by Resource Allocation Matrix Eo, Hyunjun; Kang, Hyun-Goo; Choe, Kwang-Moo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.387 - 392, 2005-06-01 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,775 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989