서지주요정보
Deforestation을 이용한 foldr/build 변환의 향상 방법 = Improvement of foldr/build transformation using deforestation
서명 / 저자 Deforestation을 이용한 foldr/build 변환의 향상 방법 = Improvement of foldr/build transformation using deforestation / 임현일.
저자명 임현일 ; Lim, Hyun-Il
발행사항 [대전 : 한국과학기술원, 1997].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8007855

소장위치/청구기호

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

MCS 97037

휴대폰 전송

도서상태

이용가능

대출가능

반납예정일

등록번호

9003351

소장위치/청구기호

서울 학위논문 서가

MCS 97037 c. 2

휴대폰 전송

도서상태

이용가능

대출가능

반납예정일

초록정보

In functional programming, intermediate data structures are often used to glue together several programs. These intermediate data structures help us to make modularized program easy. But these cause several overhead in execution time. Deforestation and foldr/build transformation are transformation techniques which remove intermediate data structures at compile time. We focus on differences of foldr/build transformation and deforestation which make their effect different. And we compare these two transformations and present a new transformation technique, hybrid deforestation which can remove intermediate data structures. We present a new language form, hybrid treeless form that hybrid deforestation uses as input program. Hybrid treeless form is composition of input of foldr/build transformation and deforestation. This transformation technique is derived from composing deforestation and foldr/build transformation. It is expansion of foldr/build transformation using deforestation algorithm. We believe that the effect of hybrid deforestation is equivalent to union of deforestation and foldr/build transformation.

서지기타정보

서지기타정보
청구기호 {MCS 97037
형태사항 iv, 54 p. : 삽도 ; 26 cm
언어 한국어
일반주기 저자명의 영문표기 : Hyun-Il Lim
지도교수의 한글표기 : 한태숙
지도교수의 영문표기 : Tai-Sook Han
학위논문 학위논문(석사) - 한국과학기술원 : 전산학과,
서지주기 참고문헌 : p. 50-52
주제 디포리스테이션
foldr/build 변환
변환
Deforestation
foldr/build transformation
Transformation
QR CODE qr code