部分継続にもとづく移動コード記述: 定義と操作的意味
-
- 渡部卓雄
- 北陸先端科学技術大学院大学情報科学研究科
書誌事項
- タイトル別名
-
- Mobile Code Description using Partial Continuations : Definition and Operational Semantics
この論文をさがす
抄録
分散・移動計算機環境における, 移動可能プログラムを記述するための一般的な言語機構を提案する. 基本的なアイデアは, 計算状態の一部を表現する部分接続(partial continuation)をプログラム中で一級オブジェクトとして明示的に扱うことにある. 並行計算系における継続(continuation)の扱いは一般に繁雑になるが, エクステントを限定した部分継続を得る言語機能を用いることにより, 遠隔コード実行の様々なパターンを記述できる. 本機構は手続きクロージャ, あるいはそれと等価な機構を持つ様々な逐次言語に導入可能であり, ユーザ向けのモバイルエージェント記述スクリプト言語だけでなく, システムプログラム記述言語にも適用可能である. 本稿では操作的意味について延べる.
収録刊行物
-
- 情報処理学会研究報告
-
情報処理学会研究報告 61-66, 1997
一般社団法人情報処理学会
- Tweet
詳細情報
-
- CRID
- 1571417127170474240
-
- NII論文ID
- 110002929314
-
- NII書誌ID
- AN10096193
-
- 本文言語コード
- ja
-
- データソース種別
-
- CiNii Articles