共同研究・競争的資金等の研究課題

2013年4月 - 2016年3月

信頼性の高いコード生成のためのプログラミング言語の実現

日本学術振興会基盤研究(B)