| 体系的番号 |
JPMJPR01P7 |
| DOI |
https://doi.org/10.52926/JPMJPR01P7 |
研究代表者 |
橋本 政朋 産業技術総合研究所, サイバーアシスト研究センター, 研究員
|
|---|
| 研究期間 (年度) |
2001 – 2004
|
| 概要 | ソフトウェアをその実行を終了させることなくバージョンからバージョンへ、マシンからマシンへと動的に移行させるための言語システムの構築を目指します。動的移行は、多種多様なコンピュータが無数に存在するユビキタス環境において求められる安価な無停止性を実現します。具体的には、移動計算や型理論の手法を背景とし、移行時の実行状態の変換、移行の安全性検査、プログラムの動的な分離・結合などの手法確立に取り組みます。
|
|---|
| 研究領域 | 機能と構成 |
|---|
