Proj
J-GLOBAL ID：202104002621361322
Research Project code：7700000669
ユビキタス環境を支えるプログラミング言語システム
ユビキタス環境を支えるプログラミング言語システム
National award number：JPMJPR01P7
Study period：2001 - 2004
Organization (1)：
Principal investigator：
(
, サイバーアシスト研究センター, 研究員 )
DOI：
https://doi.org/10.52926/JPMJPR01P7
Research overview：
ソフトウェアをその実行を終了させることなくバージョンからバージョンへ、マシンからマシンへと動的に移行させるための言語システムの構築を目指します。動的移行は、多種多様なコンピュータが無数に存在するユビキタス環境において求められる安価な無停止性を実現します。具体的には、移動計算や型理論の手法を背景とし、移行時の実行状態の変換、移行の安全性検査、プログラムの動的な分離・結合などの手法確立に取り組みます。
Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
,
Research program：
＞
＞
Parent Research Project：
機能と構成
Organization with control over the research：
Japan Science and Technology Agency
