학위논문(박사) - 한국과학기술원 : 전산학부, 2020.2,[iv, 75 p. :]
Abstract interpretation▼aStatic analysis▼aParameterization▼aJavaScript▼aAnalysis precision improvement▼aParametric static analysis▼aAnalysis techniques▼aPartial loop sensitivity; 요약해석▼a정적분석▼a매개변수화▼a자바스크립트▼a분석정확도향상▼a정적분석의 매개변수화▼a분석기술▼a부분적 루프 민감분석
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.