Proj
J-GLOBAL ID：202104001399591423
Research Project code：7700000675
プログラミング言語の制御構造の意味論的分析
プログラミング言語の制御構造の意味論的分析
National award number：JPMJPR02P6
Study period：2002 - 2005
Organization (1)：
Principal investigator：
(
, 数理解析研究所, 助教授 )
DOI：
https://doi.org/10.52926/JPMJPR02P6
Research overview：
種々の制御構造やそれに伴う副作用を用いるプログラムの振る舞いを、プログラム意味論の最新の成果を利用して適切に定式化し分析することにより、プログラムの制御構造に関する、正確かつ有用な原則を抽出します。これにより高度な理論的成果を得るとともに、ソフトウェア開発・解析・検証技術への具体的な応用を目指します。
Terms in the title (4)：
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
