DSpace at KOASAS
Browsing DSpace

Browse "CS-Theses_Master(석사논문) " by Author 류석영

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 11 to 18 of 18

11
Improving precision of static type checker for web applications by using dynamic information = 동적 정보를 활용한 웹 애플리케이션 정적 타입 결함 검출기의 정확도 향상link

Park, Joonyoung; 박준영; et al, 한국과학기술원, 2016

12
Improving the analysis precision of JavaScript programs via assertion = Assert로 자바스크립트 프로그램 분석의 정확도 높이기link

Lee, Hong-Ki; 이홍기; et al, 한국과학기술원, 2013

13
Partition-based coverage metrics and type-guided search strategies in concolic testing for javascript applications = 자바스크립트 프로그램의 concolic 테스팅을 위한 partition-based 커버리지 매트릭스와 타입 우선 탐색 전략link

Bae, Sora; 배소라; et al, 한국과학기술원, 2016

14
Polymorphic symmetric multiple dispatch with variance = 가변성과 다형성을 가지는 언어에서의 대칭 다중 디스패치link

Park, Gyunghee; Ryu, Sukyoung; et al, 한국과학기술원, 2019

15
Proving FFMM type safety using coq = Coq을 이용한 FFMM의 타입 안전성 증명link

Kim Ji-Eung; 김지응; et al, 한국과학기술원, 2011

16
Securing legacy kernel with type-guided refactoring to rust = 러스트에서 타입 기반 리팩토링을 통한 기존 커널 보호link

Park, Sanguk; Ryu, Sukyoung; et al, 한국과학기술원, 2021

17
Standard ML 프로그램 실행 중 처리되지 않는 예외 상황을 예측하는 방법 = Estimating uncaught exceptions in standard ML programs from type-based equationslink

류석영; Ryu, Suk-Young; et al, 한국과학기술원, 1996

18
Static analysis of JavaScript programs = 자바스크립트 프로그램의 정적 분석 : 난제와 연구경향 분석link

Sun, Kwangwon; 선광원; et al, 한국과학기술원, 2016

Discover

rss_1.0 rss_2.0 atom_1.0