オブジェクト指向言語の基礎理論

• 柴山 悦哉

  龍谷大学理工学部

書誌事項

タイトル別名

• Foundations of Object-Oriented Programming Languages.
• オブジェクト シコウ ゲンゴ ノ キソ リロン

抄録

本稿では,「型と継承」および「並行計算」という側面に焦点を絞り、オブジェクト指向言語の基礎理論を概観する.以下,型と継承に関する基礎理論のサーベイを1-4節で行ない,並行オブジェクト指向の基礎理論に関するサーベイを5-8節で行なう.なお,オブジェクト指向概念に対する型理論に基づいたアプローチの数々は,すでに[15]において紹介されている.本稿では誌面の制約も厳しいので[15]で紹介ずみのものは,基礎知識としてどうしても必要な部分を除いて取り上げない.また,本稿で取り上げた話題の一部は、近々出版される[36][42]においてより詳しく紹介される予定である.

収録刊行物

• コンピュータ ソフトウェア

  コンピュータ ソフトウェア 9 (2), 2_77-2_87, 1992-03-16

  日本ソフトウェア科学会

詳細情報

• CRID: 1390845713014831104
• NII論文ID: 130007505782
• NII論文ID: 110003743684
• NII書誌ID: AN10075819
• DOI: 10.11309/jssst.9.2_77
• NDL書誌ID: 3751954
• ISSN: 02896540
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I3751954
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可