close
1.

図書

図書
edited by Gul Agha, Peter Wegner, and Akinori Yonezawa
出版情報: Cambridge, Mass. : MIT Press, c1993  xii, 532 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Summary of Papers
Language Issues / I:
Abstraction and Modularity Mechanisms for Concurrent Computing / Gul Agha ; Svend Frolund ; WooYoung Kim ; Rajendra Panwar ; Anna Patterson ; Daniel M. Sturman1:
Tradeoffs between Reasoning and Modeling / Peter Wegner2:
A Survey of Logic Programming-Based Object-Oriented Language / Andrew J. Davison3:
Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages / Satoshi Matsuoka ; Akinori Yonezama4:
Composing Active Objects / Oscar Nierstrasz5:
Programming Constructs / II:
Supporting Modularity in Highly-Parallel Programs / Andrew A. Chien6:
Multiple Concurrency Control Policies in an Object-Oriented Programming System / Gail E. Kaiser ; Wenwey Hseush ; Steven S. Popovich ; Shyhtsun F. Wu7:
Ports for Objects in Concurrent Logic Programs / Sverker Janson ; Johan Montelius ; Seif Haridi8:
Language Design / III:
Specifying Concurrent Languages and Systems with ?-GRAMMARS / Simon M. Kaplan ; Joseph P. Loyall ; Steven K. Goering9:
Interaction / 10:
Abstract Machines / Jean-Marc Andreoli ; Paolo Ciancarini ; Remo Pareschi
CC++: A Declarative Concurrent Object-Oriented Programming Notation / K. Mani Chandy ; Carl Kesselman11:
A Logical Theory of Concurrent Objects and Its Realization in the Maude Language / Jose Meseguer12:
Operating Systems / IV:
CHOICES: A Parallel Object-Oriented Operating System / Roy H. Campbell ; Nayeem Islam13:
Performance Monitoring / V:
Monitoring Concurrent Object-Based Programs / Bruce A. Delagi ; Nakul P. Saraiya ; Sayuri Nishimura15:
Contributors
Name Index
Subject Index
Preface
Summary of Papers
Language Issues / I:
2.

図書

図書
長尾真 [ほか] 編
出版情報: 東京 : 岩波書店, 1990.5  62, 1172p, 図版 [2] p ; 23cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼