Proving Termination of Higher-Order Functional Programs

2010 Fiscal Year Self-evaluation Report

• Project/Area Number: 20500008
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Fundamental theory of informatics
• Research Institution: Nagoya University
• Principal Investigator: KUSAKARI Keiichirou Nagoya University, 情報科学研究科, 准教授 (90323112)
• Project Period (FY): 2008 – 2011
• Keywords: 計算理論

Research Abstract

(1)静的依存対法の適用可能な関数プログラムのクラスの拡張。
(2)引数切り落とし法の高階関数への対応
(3)実効規則の概念の高階関数への対応
(4)対象とする計算モデルの拡張と、拡張したモデル上での得られた知見の再構築
(5)得られた知見に基づく停止性自動証明システムの構築

Research Products

• [Journal Article] Argument Filterings and Usable Rules in Higher-Order Rewrite Systems (2011)
  • Author(s): SUZUKI Sho, KUSAKARI Keiichirou, Frederic Blanqui
  • Journal Title: IPSJ Transactions on Programming Vol.4, No.2 Pages: 1-12
  • Peer Reviewed
• [Journal Article] Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems (2009)
  • Author(s): KUSAKARI Keiichirou, ISOGAI Yasuo, SAKAI Masahiko, Frederic Blanqui
  • Journal Title: IEICE Transactions on Information and Systems,D Vol.E92, No.10 Pages: 2007-2015
  • Peer Reviewed
• [Journal Article] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques (2009)
  • Author(s): KUSAKARI Keiichirou, SAKAI Masahiko
  • Journal Title: IEICE Transactions on Information and Systems, D Vol.E92, No.2 Pages: 235-247
  • Peer Reviewed