2014 年度研究成果報告書

アンビエント計算に基づく実用的かつ信頼性の高い分散プログラム開発環境

研究課題

研究課題/領域番号	24700028
研究種目	若手研究(B)
配分区分	基金
研究分野	ソフトウエア
研究機関	京都大学
研究代表者	馬谷誠二京都大学, 情報学研究科, 助教 (40378831)
研究期間 (年度)	2012-04-01 – 2015-03-31
キーワード	分散プロセス計算 / プログラミング言語 / コード移動 / プログラム解析
研究成果の概要	本研究では，研究代表者がこれまでに開発を行っていたアンビエント計算に基づく分散プログラミング言語から得られた柔軟な分散協調機能の設計に関する指針およびそれらの機能の効率良い実現手法を活用し，汎用プログラミング言語を用いて信頼性の高い分散プログラムを開発するためのフレームワークの開発を行った．このフレームワークは，実用的かつ柔軟性の高いアンビエント計算機能を提供するのに加え，専用分散言語で書く際には問題となりにくいユーザプログラムの安全性を保証するための解析・検証ツールを備えている．
自由記述の分野	プログラミング言語