2005 年度終了報告書

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

研究課題

戦略的な研究開発の推進戦略的創造研究推進事業さきがけ

PDF

体系的番号	JPMJPR02P6
DOI	https://doi.org/10.52926/JPMJPR02P6
研究代表者	長谷川真人京都大学, 数理解析研究所, 助教授
研究期間 (年度)	2002 – 2005
研究領域	機能と構成