Gifu University · Faculty of Engineering · 教授

Research keywordsterm rewriting systems・termination proving・dependency pairs・ordering methods・runtime error typing・grammar programs・functional programming・program inversion

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Static dependency pair method in functional programs2018
• AC dependency Pairs revisited2016
• A unified ordering for termination proving2015
• Nagoya termination tool2014

• 静的再帰構造解析に基づく関数プログラムの停止性自動証明2012
• 高階関数プログラムの停止性判定に関する研究2008
• 関数型言語の解析・検証・効率的実行のための書換え系理論の研究2006
• 限量子付き等式仕様からのプログラム生成に関する研究2004

• Official profile