Showing results 16 to 18 of 18
Securing legacy kernel with type-guided refactoring to rust = 러스트에서 타입 기반 리팩토링을 통한 기존 커널 보호link Park, Sanguk; Ryu, Sukyoung; et al, 한국과학기술원, 2021 |
Standard ML 프로그램 실행 중 처리되지 않는 예외 상황을 예측하는 방법 = Estimating uncaught exceptions in standard ML programs from type-based equationslink 류석영; Ryu, Suk-Young; et al, 한국과학기술원, 1996 |
Static analysis of JavaScript programs = 자바스크립트 프로그램의 정적 분석 : 난제와 연구경향 분석link Sun, Kwangwon; 선광원; et al, 한국과학기술원, 2016 |
Discover