プログラミング言語の制御構造の意味論的分析

研究課題

研究代表者	長谷川真人京都大学, 数理解析研究所, 助教授
研究期間 (年度)	2002 – 2005
概要	種々の制御構造やそれに伴う副作用を用いるプログラムの振る舞いを、プログラム意味論の最新の成果を利用して適切に定式化し分析することにより、プログラムの制御構造に関する、正確かつ有用な原則を抽出します。これにより高度な理論的成果を得るとともに、ソフトウェア開発・解析・検証技術への具体的な応用を目指します。
研究領域	機能と構成