A Type System and Compilation Techniques for Concurrent Objects

スポンサーリンク

概要

• 論文の詳細を見る

• 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.

• Information and Media Technologies 編集運営会議の論文

著者

• 八杉 昌宏

  京都大学情報学研究科

関連論文

• S式ベースC言語における変形規則による言語拡張機構
• バックトラックに基づく負荷分散のT2K並列環境における評価
• バックトラックに基づく負荷分散の高並列環境における評価
• 2ZP-2 バックトラックに基づく負荷分散の広域分散環境における評価(情報爆発時代における分散処理と運用技術,学生セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
• 既存Cヘッダファイルの構文の異なる言語での有効利用(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
• SchemeにおけるEvaluation Strategyの設計と実装
• A Type System and Compilation Techniques for Concurrent Objects

スポンサーリンク