Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques

Keiichirou KUSAKARI; Masahiko SAKAI

doi:10.1587/transinf.e92.d.235

Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques

IEICE Transactions on Information and Systems ◽

10.1587/transinf.e92.d.235 ◽

2009 ◽

Vol E92-D (2) ◽

pp. 235-247 ◽

Cited By ~ 5

Author(s):

Keiichirou KUSAKARI ◽

Masahiko SAKAI

Keyword(s):

Term Rewriting ◽

Pair Method ◽

Dependency Pair

Download Full-text

Enhancing dependency pair method using strong computability in simply-typed term rewriting

Applicable Algebra in Engineering Communication and Computing ◽

10.1007/s00200-007-0046-9 ◽

2007 ◽

Vol 18 (5) ◽

pp. 407-431 ◽

Cited By ~ 11

Author(s):

Keiichirou Kusakari ◽

Masahiko Sakai

Keyword(s):

Term Rewriting ◽

Pair Method ◽

Dependency Pair

Download Full-text

Automating the dependency pair method

Information and Computation ◽

10.1016/j.ic.2004.10.004 ◽

2005 ◽

Vol 199 (1-2) ◽

pp. 172-199 ◽

Cited By ~ 54

Author(s):

Nao Hirokawa ◽

Aart Middeldorp

Keyword(s):

Pair Method ◽

Dependency Pair

Download Full-text

Static Dependency Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types

IEICE Transactions on Information and Systems ◽

10.1587/transinf.e96.d.472 ◽

2013 ◽

Vol E96.D (3) ◽

pp. 472-480 ◽

Cited By ~ 2

Author(s):

Keiichirou KUSAKARI

Keyword(s):

Rewriting Systems ◽

Pair Method ◽

Dependency Pair

Download Full-text

On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems

IEICE Transactions on Information and Systems ◽

10.1093/ietisy/e88-d.3.583 ◽

2005 ◽

Vol E88-D (3) ◽

pp. 583-593 ◽

Cited By ~ 8

Author(s):

M. SAKAI

Keyword(s):

Higher Order ◽

Rewrite Systems ◽

Pair Method ◽

Dependency Pair

Download Full-text

Complexity, Graphs, and the Dependency Pair Method

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89439-1_45 ◽

2008 ◽

pp. 652-666 ◽

Cited By ~ 7

Author(s):

Nao Hirokawa ◽

Georg Moser

Keyword(s):

Pair Method ◽

Dependency Pair

Download Full-text

Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17822-6_7 ◽

2015 ◽

pp. 113-130 ◽

Cited By ~ 2

Author(s):

Salvador Lucas ◽

José Meseguer ◽

Raúl Gutiérrez

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting ◽

Dependency Pair

Download Full-text

Automated Complexity Analysis Based on the Dependency Pair Method

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71070-7_32 ◽

2008 ◽

pp. 364-379 ◽

Cited By ~ 31

Author(s):

Nao Hirokawa ◽

Georg Moser

Keyword(s):

Complexity Analysis ◽

Pair Method ◽

Dependency Pair

Download Full-text

Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems

IEICE Transactions on Information and Systems ◽

10.1587/transinf.e92.d.2007 ◽

2009 ◽

Vol E92-D (10) ◽

pp. 2007-2015 ◽

Cited By ~ 7

Author(s):

Keiichirou KUSAKARI ◽

Yasuo ISOGAI ◽

Masahiko SAKAI ◽

Frédéric BLANQUI

Keyword(s):

Higher Order ◽

Rewrite Systems ◽

Pair Method ◽

Dependency Pair

Download Full-text

Automating the Dependency Pair Method

Automated Deduction – CADE-19 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45085-6_4 ◽

2003 ◽

pp. 32-46 ◽

Cited By ~ 18

Author(s):

Nao Hirokawa ◽

Aart Middeldorp

Keyword(s):

Pair Method ◽

Dependency Pair

Download Full-text

System Description: The Dependency Pair Method

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/10721975_18 ◽

2000 ◽

pp. 261-264 ◽

Cited By ~ 8

Author(s):

Thomas Arts

Keyword(s):

System Description ◽

Pair Method ◽

Dependency Pair

Download Full-text