プログラミング言語研究室

現代社会のいたる所で使われているソフトウェアの信頼性を向上させることは重要な課題となっています。信頼性のあるソフトウェアを効率よく開発するため、これまでのソフトウェアに関する研究成果を利用した高信頼プログラム開発環境を構築することを目指しています。特にプログラム変換、型理論の成果を用いてプログラム開発をサポートするシステムを構築するための基盤となる理論、実装について研究を行います。現在Eclipseなどがプログラムの統合開発環境として広く用いられており、変数名補完や、名前の付け替えなどのリファクタリング機能が実用化されていますが、これらの基本機能を整備した上で、より高度な変換機能を持つ高信頼開発環境を構築することを目指しています。