Browse "School of Computing(전산학부)" by Author 최광훈
Showing results 1 to 9 of 9
| Eval-Apply 모델의 STGM에 기반하여 지연 계산 함수형 프로그램을 자바로 컴파일하는 기법 남병규; 최광훈; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.6, pp.326 - 335, 2002-06 |
| 고차원 함수를 동적 인자전달 방식으로 구현하는 타입 기반 컴파일 방법 = (A) typed compilation of higher-order functions with dynamic argument passinglink Choi, Kwang-Hoon; 최광훈; et al, 한국과학기술원, 2003 |
| 그래프 축약 기계에서 수행 시간을 고려한 루트 최적화 방법 최광훈; 한태숙, 정보과학회논문지(B), v.25, no.5, pp.841 - 853, 1998-05 |
| 병렬화 트렌스레이터의 설계 최광무; 한태숙; 이광근; 강경우; 이경옥; 김성훈; 조장우; et al, '95 프로그래밍 언어 연구회 학술 발표, pp.16 - 23, 1995 |
| 자바가상기계를 대상으로 하는 지연계산기반 함수형 언어 컴파일러의 설계 및 구현 최광훈; 임현일; 한태숙, 제27회 한국정보과학회 추계학술발표회, 한국정보과학회, 2000 |
| 중간언어 L-코드를 이용한 Haskell-Java 언어 번역기 구현 최광훈; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.28, no.12, pp.955 - 965, 2001-12 |
| 지연계산 기반 추상기계유도: 기반 언어의 의미에 Wand-Clinger 방법의 적용 최광훈; 한태숙, 98년 가을 한국정보과학회 충청지부 학술발표회, pp.185 - 188, 한국정보과학회, 1998 |
| 타입기반 제어흐름 분석 방법의 설계 최광훈; 한태숙, 한국정보과학회 '99 추계 합동 학술발표회, pp.19 - 24, 한국정보과학회, 1999 |
| 함수 언어에서의 역 람다 리프팅 변환에 대한 실험 = An experiment with reverse lambda lifting transformation in functional languageslink 최광훈; Choi, Kwang-Hoon; et al, 한국과학기술원, 1996 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,745 2020 - 2024
- 5,391 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989