서지주요정보
G-기계에서 루트 최적화의 효율적인 구현 = An efficient implementation for root optimization in G-machine
서명 / 저자 G-기계에서 루트 최적화의 효율적인 구현 = An efficient implementation for root optimization in G-machine / 오지웅.
저자명 오지웅 ; O, Chi-Ung
발행사항 [대전 : 한국과학기술원, 1998].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8009147

소장위치/청구기호

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

MCS 98055

SMS전송

도서상태

이용가능

대출가능

반납예정일

등록번호

9004926

소장위치/청구기호

서울 학위논문 서가

MCS 98055 c. 2

SMS전송

도서상태

이용가능

대출가능

반납예정일

초록정보

In non-strict functional languages, recursive calls with same-valued arguments can create thunks containing invariants repeatedly. In G-machine, an efficient implementation of non-strict languages, those invariants can be shared instead of repeatedly created. It is called root optimization which reduces the heap space during recursion. But root optimization needs additional runtime due to slow sharing process. By introducing new types of nodes $AP_{m,n}$, new G-machine instruction $MKAPROOT_{m,n}$, and additional compilation rules, this thesis proposes the improved method of root optimization which accesses the sharable position directly. The runtime overhead can be reduced because of fast unwinding and direct sharing. This idea is implemented in HBC, and the expriment shows the feasibility of the proposed solution.

서지기타정보

서지기타정보
청구기호 {MCS 98055
형태사항 vi, 41 p. : 삽도 ; 26 cm
언어 한국어
일반주기 부록 : A, NoFib 원시파일 수정
저자명의 영문표기 : Chi-Ung O
지도교수의 한글표기 : 한태숙
지도교수의 영문표기 : Tai-Sook Han
학위논문 학위논문(석사) - 한국과학기술원 : 전산학과,
서지주기 참고문헌 : p. 34-36
주제 루트 최적화
G-기계
함수 언어
소극적 계산법
컴파일러
Root optimization
G-machine
Functional language
Lazy evaluation
Compiler
QR CODE qr code