Mendeley出力
＜図書＞
Concurrent Prolog : collected papers
| 責任表示 | edited by Ehud Shapiro |
|---|---|
| シリーズ | MIT Press series in logic programming |
| データ種別 | 図書 |
| 出版情報 | Cambridge, Mass. : MIT Press , c1987 |
| 本文言語 | 英語 |
| 大きさ | 2 v. ; 24 cm |
| 概要 | Concurrent Prolog brings together for the first time descriptions of the major concurrent logic programming languages proposed so far for future parallel computer systems. In particular, it describes ...he concurrent logic programming language Flat Concurrent Prolog, a comprehensive and radical approach to parallel computing that is based on a simple foundation. After surveying recent research in concurrent logic programming languages, these two volumes address all of the relevant aspects of constructing such a parallel computer system. They investigate how systems programming and the implementation of parallel algorithms can be carried out with this language; how advanced program development techniques can be applied; how to embed other high-level languages in it; and how to implement this language efficiently on sequential and parallel computers. The results of these investigations suggest that Flat Concurrent Prolog can serve as a general-purpose high-level machine language for parallel computers. Ehud Y. Shapiro is Senior Scientist, Department of Applied Mathematics, Weizmann Institute of Science. Concurrent Prolog is included in his Logic Programming series. Much of the research describe in the book was stimulated by the Fifth Generation project and cross-fertilization between the authors and ICOT. Concurrent Prolog brings together for the first time descriptions of the major concurrent logic programming languages proposed so far for future parallel computer systems. In particular, it describes the concurrent logic programming language Flat Concurrent Prolog, a comprehensive and radical approach to parallel computing that is based on a simple foundation. After surveying recent research in concurrent logic programming languages, these two volumes address all of the relevant aspects of constructing such a parallel computer system. They investigate how systems programming and the implementation of parallel algorithms can be carried out with this language; how advanced program development techniques can be applied; how to embed other high-level languages in it; and how to implement this language efficiently on sequential and parallel computers. The results of these investigations suggest that Flat Concurrent Prolog can serve as a general-purpose high-level machine language for parallel computers. Ehud Y. Shapiro is Senior Scientist, Department of Applied Mathematics, Weizmann Institute of Science. Concurrent Prolog is included in his Logic Programming series. Much of the research describe in the book was stimulated by the Fifth Generation project and cross-fertilization between the authors and ICOT. Concurrent Prolog brings together for the first time descriptions of the major concurrent logic programming languages proposed so far for future parallel computer systems. In particular, it describes the concurrent logic programming language Flat Concurrent Prolog, a comprehensive and radical approach to parallel computing that is based on a simple foundation. After surveying recent research in concurrent logic programming languages, these two volumes address all of the relevant aspects of constructing such a parallel computer system. They investigate how systems programming and the implementation of parallel algorithms can be carried out with this language; how advanced program development techniques can be applied; how to embed other high-level languages in it; and how to implement this language efficiently on sequential and parallel computers. The results of these investigations suggest that Flat Concurrent Prolog can serve as a general-purpose high-level machine language for parallel computers. Ehud Y. Shapiro is Senior Scientist, Department of Applied Mathematics, Weizmann Institute of Science. Concurrent Prolog is included in his Logic Programming series. Much of the research describe in the book was stimulated by the Fifth Generation project and cross-fertilization between the authors and ICOT. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
V. 1. | 理系図3F 数理独自 | P 87/CONC/1-1 | 1987 |
|
068222188002297 |
|
|||
|
|
V. 1. | 理系図 自動書庫 | K/Sha | 1988 |
|
068252188011287 |
|
|||
|
|
V. 2. | 理系図3F 数理独自 | P 87/CONC/1-2 | 1987 |
|
068222188002308 |
|
|||
|
|
V. 2. | 理系図 自動書庫 | K/Sha | 1988 |
|
068252188011290 |
|
書誌詳細
| 一般注記 | Vol. 1: with a foreword by Kazuhiro Fuchi Includes bibliographies and index |
|---|---|
| 著者標目 | Shapiro, Ehud Y. |
| 件 名 | LCSH:Prolog (Computer program language) LCSH:Parallel programming (Computer science) |
| 分 類 | NDC8:007.64 LCC:QA76.73.P76 DC19:005.13/3 |
| 書誌ID | 1000049181 |
| ISBN | 0262192551 |
| NCID | BA0350546X |
| 巻冊次 | : set ; ISBN:0262192551 v. 1 ; ISBN:0262192667 v. 2 ; ISBN:0262192675 |
| 登録日 | 2009.09.10 |
| 更新日 | 2009.09.17 |