DSpace at KOASAS
Browsing DSpace

Browse "CS-Theses_Master(석사논문) " by Author Yi, Kwang-Keun

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 1 to 12 of 12

1
(A) let-polymorphic type-inference algorithm that fixes the bottleneck of M = M의 병목을 해소하는 타입유추 알고리즘link

Joo, Sang-Hyun; 주상현; et al, 한국과학기술원, 2000

2
(An) explicit polymorphic type system for verifying untrusted low-level codes = 복합형 타입시스템을 이용한 기계어 코드의 검증link

Chung, Jae-Youn; 정재윤; et al, 한국과학기술원, 2000

3
GUI환경에서 대화식 자동화 구현 = Implementation of GUI interactive replayer (GIRL)link

성웅기; Sung, Woong-Gi; et al, 한국과학기술원, 2001

4
LanTeX : 프로그래밍 언어의 문법구조와 의미구조를 표현하기 위한 조판언어 = LanTeX : a typesetting language for describing programming language syntax and semanticslink

함재균; Hahm, Jaeg-Yoon; et al, 한국과학기술원, 2002

5
Mono-variant demand-driven set-based analysis for ML programs = 요구 사항에 기반하는 단일성 집합 기반 ML 프로그램 분석 방법link

Choi, Woong-Sik; 최웅식; et al, 한국과학기술원, 2002

6
nML을 이용한 인터넷 전화 시스템의 구현과 검증 = Implementation and verification of internet telephony system in nMLlink

김범식; Kim, Bom-Shik; et al, 한국과학기술원, 2001

7
Reducing the overhead of ML exceptions by selective CPS transformation = 선택적인 CPS 변환에 의한 ML의 예외상황 실행속도의 개선link

Kim, Jung-Taek; 김정택; et al, 한국과학기술원, 1999

8
Standard ML 프로그램 식들의 유추된 타입들을 보여 주는 도구의 개발 = A tool for showing inferenced types of standard ML expressionslink

편기현; Pyun, Ki-Hyun; et al, 한국과학기술원, 1997

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

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

10
Type inference and lattice validation for program-analysis specifications = 프로그램 분석 명세의 타입 유추 및 래티스 타입 정의의 오류 검사link

Kim, You-Il; 김유일; et al, 한국과학기술원, 2003

11
메모리 재활용을 이용한 메모리 계측기 시스템의 설계 및 구현 = Design and implementation of an easy-to-implement heap profiler based on garbage collectionlink

오현석; Oh, Hyun-Sok; et al, 한국과학기술원, 1998

12
분석기 생성 시스템 Z2에서 그래픽 사용자 인터페이스의 자동 생성 = Automatic generation of graphic user interface on analyzer generating system Z2link

어현준; Eo, Hyun-Jun; et al, 한국과학기술원, 1998

Discover

rss_1.0 rss_2.0 atom_1.0