並行項書き換え計算による並行オブジェクト指向言語の実現

• 菅原 太郎

  北陸先端科学技術大学院大学情報

• 渡部 卓雄

  北陸先端科学技術大学院大学情報

• 二木 厚吉

  北陸先端科学技術大学院大学情報

書誌事項

タイトル別名

• A Concurrent Rewriting Based Execution Method for Object-Oriented Concurrent Languages

抄録

並行オブジェクト指向計算の新たな実行方式を考案した。本方式では並行オブジェクト指向計算を並行項書き換え計算に変換して実行する。実際の項の書き換えはグラフ簡約機械によって実現される。考案した実行システムでは、互いに通信を行なう複数のグラフ簡約機械を用いてグラフ簡約を並行に行なう。実行システムの状態は項で表すことができ、計算の進行は項の遷移で表わされる。その項の遷移が並行オブジェクト指向計算で許されている項の遷移であることを書き換え論理を用いて示し、実行システムの正当性を示す。

収録刊行物

• 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス

  電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 94 (134), 9-16, 1994-07-07

  一般社団法人電子情報通信学会

キーワード

• 並行オブジェクト指向計算
• 並行項書き換え
• グラフ簡約
• 書き換え論理

詳細情報

• CRID: 1573950402206165632
• NII論文ID: 110003276945
• NII書誌ID: AN10013287
• 本文言語コード: ja
• データソース種別:
  • CiNii Articles