情報システムが重要な社会基盤の一つとなるにつれ、ソフトウェアの安全性保証が大きな課題となっている。
高い信頼性を持つソフトウェア構築のための基盤として、プログラミング言語の数学的モデルと基礎理論が必要である。このために本研究は、Haskell言語のコア言語の数学的モデルの探求を通し、関数型プログラム検証に役立つプログラム理論を構築した。