<図書>
Implementation of non-strict functional programming languages
責任表示 | Kenneth R. Traub |
---|---|
シリーズ | Research monographs in parallel and distributed computing |
データ種別 | 図書 |
出版者 | London : Pitman |
出版者 | Cambridge, Mass. : MIT Press |
出版年 | 1991 |
本文言語 | 英語 |
大きさ | 171 p. : ill. ; 25 cm |
概要 | Modern "non-strict" functional programming languages are a powerful means of programming highly parallel computers but are intrinsically difficult to compile well because decisions about the ordering ...f subcomputations must be made at the time of compiling. This book represents a new technique for compiling such languages by partitioning a program into sequential threads. While the interleaving of threads can vary at run time, within each thread the order is fixed. A program is compiled by analyzing its data dependences and developing from that a set of partitioning constraints. These practical algorithms are founded on a new theory of data dependence and ordering within functional programs, which defines dependence graphs in terms of a rewrite-rule operational semantics for the language. By attacking the ordering problem directly, the book departs from previous approaches that obtain partitioning as a by-product of optimizing lazy evaluation and cleanly separates partitioning from other code-generation issues. Furthermore, the method is flexible enough to produce both lazy code and a less-restrictive "lenient" variant that allows larger threads with only a slight decrease in expressive power. Code generation and optimization are explored in depth for both uniprocessor and multiprocessor targets. 続きを見る |
所蔵情報
状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
---|---|---|---|---|---|---|---|---|---|---|
|
中央図 2A | 007.64/Tr 2/1 | 1991 |
|
068582191002993 |
|
||||
|
中央図 2A | 007.64/Tr 2/1A | 1991 |
|
068582191006243 |
|
||||
|
理系図3F 数理独自 | TRAU/10/1 | 1991 |
|
068222194004465 |
|
書誌詳細
一般注記 | Revision of author's doctoral thesis Bibliographical references: p. 166-171 |
---|---|
著者標目 | *Traub, Kenneth R. |
件 名 | LCSH:Functional programming (Computer science) LCSH:Functional programming languages |
分 類 | LCC:QA76.62 DC20:005.13 |
書誌ID | 1000035350 |
ISBN | 0273088270 |
NCID | BA13009409 |
巻冊次 | ISBN:0273088270 : pbk. ; ISBN:0262700425 |
登録日 | 2009.09.10 |
更新日 | 2009.11.02 |