Showing results 1 to 2 of 2
Extending bug detector and improving analysis performance in SAFE = SAFE의 버그 감지 확장 및 분석 성능 향상link Won, Soon-Cheol; 원순철; et al, 한국과학기술원, 2014 |
ThisType for Object-Oriented Languages: From Theory to Practice Ryu, Sukyoung, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.38, no.3, 2016-05 |
Discover