部分継続にもとづく移動コード記述: 定義と操作的意味

  • 渡部卓雄
    北陸先端科学技術大学院大学情報科学研究科

書誌事項

タイトル別名
  • Mobile Code Description using Partial Continuations : Definition and Operational Semantics

この論文をさがす

抄録

分散・移動計算機環境における, 移動可能プログラムを記述するための一般的な言語機構を提案する. 基本的なアイデアは, 計算状態の一部を表現する部分接続(partial continuation)をプログラム中で一級オブジェクトとして明示的に扱うことにある. 並行計算系における継続(continuation)の扱いは一般に繁雑になるが, エクステントを限定した部分継続を得る言語機能を用いることにより, 遠隔コード実行の様々なパターンを記述できる. 本機構は手続きクロージャ, あるいはそれと等価な機構を持つ様々な逐次言語に導入可能であり, ユーザ向けのモバイルエージェント記述スクリプト言語だけでなく, システムプログラム記述言語にも適用可能である. 本稿では操作的意味について延べる.

収録刊行物

被引用文献 (1)*注記

もっと見る

詳細情報

  • CRID
    1571417127170474240
  • NII論文ID
    110002929314
  • NII書誌ID
    AN10096193
  • 本文言語コード
    ja
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ