多重評価方式を備えた並列Lispシステムに関する研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
多重評価方式を備えた並列Lispシステムに関する研究
- Author
-
川本, 真一
- Author(Another name)
-
カワモト, シンイチ
- University
-
東北大学
- Types of degree
-
博士(情報科学)
- Grant ID
-
甲第6588号
- Degree year
-
1998-07-09
Note and Description
博士論文
Table of Contents
- 目次 / p1 (0004.jp2)
- 1 序論 / p1 (0007.jp2)
- 1.1 研究の背景と目的 / p1 (0007.jp2)
- 1.2 研究の概要 / p7 (0013.jp2)
- 1.3 論文の構成 / p8 (0014.jp2)
- 2 並列Lisp言語PaiLisp / p10 (0016.jp2)
- 2.1 PaiLispの特徴と構文 / p10 (0016.jp2)
- 2.2 PaiLisp-Kernel / p12 (0018.jp2)
- 2.3 PaiLispの実用的な並列構文とその意味 / p13 (0019.jp2)
- 2.4 PaiLispプログラミングとPaiLispプログラム実行上の問題 / p16 (0022.jp2)
- 2.5 本章のまとめ / p20 (0026.jp2)
- 3 マルチスレッド方式によるPaiLispインタプリタの実現 / p21 (0027.jp2)
- 3.1 マルチスレッド方式とPaiLispの処理系 / p21 (0027.jp2)
- 3.2 マルチスレッド方式に基づくPaiLisp/MTの基本構成と逐次評価モードの実現 / p30 (0036.jp2)
- 3.3 PaiLisp/MTのETC評価モード(PaiLisp/MT(ETC))の実現 / p45 (0051.jp2)
- 3.4 PaiLisp/MTのガーベージコレクション / p78 (0084.jp2)
- 3.5 マルチスレッド方式に基づくPaiLisp/MT(ETC)インタプリタの簡単な実験評価 / p80 (0086.jp2)
- 3.6 本章のまとめ / p82 (0088.jp2)
- 4 スティール評価法に基づくPaiLispインタプリタの実現 / p83 (0089.jp2)
- 4.1 並列Lisp言語の評価法とプロセス過剰生成問題 / p83 (0089.jp2)
- 4.2 スティール評価法の基本的な考え方 / p86 (0092.jp2)
- 4.3 PaiLisp/MTインタプリタにおけるスティール評価法の実現 / p89 (0095.jp2)
- 4.4 future構文のスティール評価法とLTCによる実現 / p118 (0124.jp2)
- 4.5 スティール評価法を備えたPaiLisp/MT(SHE)インタプリタの簡単な実験評価 / p127 (0133.jp2)
- 4.6 本章のまとめ / p128 (0134.jp2)
- 5 PaiLispのプログラミング環境 / p129 (0135.jp2)
- 5.1 PaiLispのプログラミング環境の概要 / p129 (0135.jp2)
- 5.2 PaiLisp/MTコンパイラの実現 / p134 (0140.jp2)
- 5.3 Process Watcherの設計と試作 / p156 (0162.jp2)
- 5.4 Schemeプログラムの制約的自動並列化システムの試作 / p162 (0168.jp2)
- 5.5 本章のまとめ / p171 (0177.jp2)
- 6 PaiLispシステムの実験評価と応用 / p172 (0178.jp2)
- 6.1 PaiLisp/MTインタプリタの評価 / p172 (0178.jp2)
- 6.2 PaiLisp/MTコンパイラの評価 / p186 (0192.jp2)
- 6.3 PaiLispシステムの応用 / p191 (0197.jp2)
- 6.4 本章のまとめ / p202 (0208.jp2)
- 7 結言 / p203 (0209.jp2)
- 7.1 研究のまとめ / p203 (0209.jp2)
- 7.2 今後の課題 / p204 (0210.jp2)
- 謝辞 / p208 (0214.jp2)
- 参考文献 / p210 (0216.jp2)
- 付録 / p215 (0221.jp2)