オブジェクト指向言語の基礎理論 (<特集>オブジェクト指向研究会から)
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,「型と継承」および「並行計算」という側面に焦点を絞り、オブジェクト指向言語の基礎理論を概観する.以下,型と継承に関する基礎理論のサーベイを1-4節で行ない,並行オブジェクト指向の基礎理論に関するサーベイを5-8節で行なう.なお,オブジェクト指向概念に対する型理論に基づいたアプローチの数々は,すでに[15]において紹介されている.本稿では誌面の制約も厳しいので[15]で紹介ずみのものは,基礎知識としてどうしても必要な部分を除いて取り上げない.また,本稿で取り上げた話題の一部は、近々出版される[36][42]においてより詳しく紹介される予定である.
- 日本ソフトウェア科学会の論文
- 1992-03-16
著者
関連論文
- パネル討論会 : 理輪は実践を導けるか,実践は理論を生かせるか? : 第1回プログラミング : 言語・基礎・実践 研究会報告
- オブジェクト指向の最近の動向
- オブジェクト指向言語の基礎理論 (オブジェクト指向研究会から)