A calculational approach to optimizing functional programs
Available with Digitized Contents Transmission Service
Find on the publisher's website
国立国会図書館デジタルコレクション
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Search by Bookstore
Read this material in an accessible format.
Table of Contents
Contents
p3
1 Introduction
p1
1.1 Program Calculation
p2
1.2 Contributions of the Thesis
p4
1.3 Organization of the Thesis
p6
Search by Bookstore
Read in Disability Resources
- Mina Search
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Author/Editor
- 胡振江 [著]
- Author Heading
- 胡, 振江 コ, シンコウ
- Alternative Title
- 構成的手法による関数プログラムの最適化 コウセイテキ シュホウ ニ ヨル カンスウ プログラム ノ サイテキカ
- Degree grantor/type
- 東京大学
- Date Granted
- 平成8年9月30日
- Date Granted (W3CDTF)
- 1996
- Dissertation Number
- 甲第12232号
- Degree Type
- 博士 (工学)