Object-oriented models for reflection in concurrent systems 並列システムにおける自己反映計算のモデルに関する研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
Object-oriented models for reflection in concurrent systems
- Other Title
-
並列システムにおける自己反映計算のモデルに関する研究
- Author
-
渡部, 卓雄
- Author(Another name)
-
ワタナベ, タクオ
- University
-
東京工業大学
- Types of degree
-
理学博士
- Grant ID
-
甲第2251号
- Degree year
-
1991-03-26
Note and Description
博士論文
identifier:oai:t2r2.star.titech.ac.jp:91596616
Table of Contents
- 論文目録 / (0002.jp2)
- Abstract / (0004.jp2)
- Contents / p2 (0006.jp2)
- 1 Introduction / p6 (0010.jp2)
- 1.1 Motivation / p6 (0010.jp2)
- 1.2 Reflection / p9 (0013.jp2)
- 1.3 Proposed Approaches / p9 (0013.jp2)
- 1.4 Summary of Contributions / p10 (0014.jp2)
- 1.5 Thesis Overview / p10 (0014.jp2)
- 2 Reflection / p12 (0016.jp2)
- 2.1 Basic Concepts / p12 (0016.jp2)
- 2.2 Programming Language with Reflective Architecture / p15 (0019.jp2)
- 2.3 3-Lisp:A Reflective Dialect of Lisp / p16 (0020.jp2)
- 3 Object-Oriented Concurrent Programming / p19 (0023.jp2)
- 3.1 Introduction / p19 (0023.jp2)
- 3.2 ABCL/1 / p22 (0026.jp2)
- 3.3 Actor Model / p27 (0031.jp2)
- 4 Individual-Based Architecture / p35 (0039.jp2)
- 4.1 Introduction / p35 (0039.jp2)
- 4.2 Meta-Objects / p35 (0039.jp2)
- 4.3 The Language ABCL/R / p37 (0041.jp2)
- 4.4 Meta Circularity of Objects / p42 (0046.jp2)
- 4.5 Reflective Programming Facilities in ABCL/R / p42 (0046.jp2)
- 4.6 Programming Reflection in ABCL/R / p45 (0049.jp2)
- 5 Group-Wide Architecture / p52 (0056.jp2)
- 5.1 Introduction / p52 (0056.jp2)
- 5.2 Metalevel Architecture / p53 (0057.jp2)
- 5.3 Correctness of ↑S / p59 (0063.jp2)
- 5.4 Reflective Computation / p64 (0068.jp2)
- 5.5 An Example:Modeling Migration of Actors / p67 (0071.jp2)
- 6 A More Practical Reflective Architecture / p70 (0074.jp2)
- 6.1 Introduction / p70 (0074.jp2)
- 6.2 Hybrid Group Reflective Architecture / p71 (0075.jp2)
- 6.3 Reflective Programming in ABCL/R2 / p80 (0084.jp2)
- 7 Conclusion and Future Work / p84 (0088.jp2)
- 7.1 Conclusion / p84 (0088.jp2)
- 7.2 Future Work / p85 (0089.jp2)
- A Languages / p90 (0094.jp2)
- A.1 ABCL/R / p90 (0094.jp2)
- A.2 ACT/0 and ACT/R / p97 (0101.jp2)
- B Miscellaneous Code / p101 (0105.jp2)
- B.1 Code for an Evaluator Object of ABCL/R / p101 (0105.jp2)
- B.2 Code for Simple Time Warp Mechanism / p103 (0107.jp2)
- B.3 Definition for the Evaluator Actor ɛ of ACT/R / p104 (0108.jp2)