岐阜大学 · 工学部 · 教授

研究关键词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

• 官方个人主页