首页    期刊浏览 2024年09月20日 星期五
登录注册

文章基本信息

  • 标题:並行オブジェクトのための型システムとコンパイル技法
  • 本地全文:下载
  • 作者:八杉 昌宏
  • 期刊名称:コンピュータ ソフトウェア
  • 印刷版ISSN:0289-6540
  • 出版年度:2004
  • 卷号:21
  • 期号:6
  • 页码:438-455
  • DOI:10.11309/jssst.21.438
  • 出版社:Japan Society for Software Science and Technology
  • 摘要:

    Autonomous concurrent objects can be regarded as message receivers rather than labeled records by message senders, each having object references. The subtype relation on reference types can be determined by judging how various messages can be understood. Based on this idea, this paper presents a type system and compilation techniques for concurrent objects, implementing efficient pattern matching of first class messages, where the look-up can be performed as direct indexing of a small table, and the table size can be bounded by a number slightly more than the number of injection tags which the message value may have.

国家哲学社会科学文献中心版权所有