Showing results 1 to 5 of 5
Eval-Apply 모델의 STGM에 기반하여 지연 계산 함수형 프로그램을 자바로 컴파일하는 기법 남병규; 최광훈; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.6, pp.326 - 335, 2002-06 |
Off-line slicing of abstract interpretation results for automatic construction of economical program proofs = 요약해석 결과의 오프라인 가지치기를 이용한 프로그램 증명의 경제적인 자동 생성link Seo, Sun-Ae; 서선애; et al, 한국과학기술원, 2007 |
고차원 함수를 동적 인자전달 방식으로 구현하는 타입 기반 컴파일 방법 = (A) typed compilation of higher-order functions with dynamic argument passinglink Choi, Kwang-Hoon; 최광훈; et al, 한국과학기술원, 2003 |
네트워크를 고려한 프로그래밍 언어의 설계와 구현 = Design and implementation of a network programming languagelink 원유훈; Won, Yoo-Hoon; et al, 한국과학기술원, 1999 |
자바 프로그램을 위한 분석 환경의 구현 = An efficient analysis framework for Java programslink 지두현; Chi, Doo-Hyon; et al, 한국과학기술원, 1998 |
Discover