서지주요정보
Eval-apply 모델의 STGM에 기반하여 지연 계산 함수형 언어를 자바로 컴파일하는 기법 = Compiling lazy functional programs to java on the basis of spineless tagless g-machine with eval-apply model
서명 / 저자 Eval-apply 모델의 STGM에 기반하여 지연 계산 함수형 언어를 자바로 컴파일하는 기법 = Compiling lazy functional programs to java on the basis of spineless tagless g-machine with eval-apply model / 남병규.
발행사항 [대전 : 한국과학기술원, 2001].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8011989

소장위치/청구기호

학술문화관(문화관) 보존서고

MCS 01019

휴대폰 전송

도서상태

이용가능(대출불가)

사유안내

반납예정일

등록번호

9007604

소장위치/청구기호

서울 학위논문 서가

MCS 01019 c. 2

휴대폰 전송

도서상태

이용가능(대출불가)

사유안내

반납예정일

리뷰정보

초록정보

In the advent of Internet era the code mobility of a program becomes one of the critical features to programming languages. But lazy functional languages(LFLs) do not provide code mobility to their programs even though LFLs provide many desirable properties. Recently there have been a number of researches to provide code mobility to LFL programs by translating LFL programs to Java programs. These approaches are basically based on architectural similarities between abstract machines of LFL and Java. The abstract machines of Lazy functional languages and Java programming language, Spineless Tagless G-Machine(STGM) and Java Virtual Machine(JVM) respectively, share important common features such as built-in garbage collector and stack machine architecture. Thus, we can provide code mobility to LFL by translating LFL to Java utilizing these commom features. But current translation schemes don`t fully utilize these architectural common features. In this paper, we propose a new translation scheme which fully utilizes architectural common features between STGM and JVM. By redefining STGM as an eval-apply evaluation model, we have defined a new translation scheme which utilizes Java Virtual Machine Stack for function evaluation and totally eliminates stack simulation which causes array manipulation overhead. Benchmark Java programs translated by our translation scheme run faster on Java 1.3 platform than those translated by previous schemes.

서지기타정보

서지기타정보
청구기호 {MCS 01019
형태사항 vi, 55 p. : 삽화 ; 26 cm
언어 한국어
일반주기 부록 : A, L-code 설명, - B, 벤치마크 프로그램
저자명의 영문표기 : Byeong-Gyu Nam
지도교수의 한글표기 : 한태숙
지도교수의 영문표기 : Tai-Sook Han
학위논문 학위논문(석사) - 한국과학기술원 : 전산학전공,
서지주기 참고문헌 : p. 47-49
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서