岐阜大学 · 工学部 · 教授

研究キーワードterm rewriting systems・termination proving・dependency pairs・ordering methods・runtime error typing・grammar programs・functional programming・program inversion

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

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

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

• 公式プロフィール