Showing results 1 to 2 of 2
Cycle elimination for context-sensitive pointer analysis = 호출 문맥을 고려하는 포인터 분석에서의 사이클 제거 기법link Choi, Woong-Sik; 최웅식; et al, 한국과학기술원, 2010 |
Mono-variant demand-driven set-based analysis for ML programs = 요구 사항에 기반하는 단일성 집합 기반 ML 프로그램 분석 방법link Choi, Woong-Sik; 최웅식; et al, 한국과학기술원, 2002 |
Discover