dependency pair Latest Research Papers

Formalizing the dependency pair criterion for innermost termination

Science of Computer Programming ◽

10.1016/j.scico.2020.102474 ◽

2020 ◽

Vol 195 ◽

pp. 102474

Author(s):

Ariane Alves Almeida ◽

Mauricio Ayala-Rincón

Keyword(s):

Dependency Pair

Download Full-text

The 2D Dependency Pair Framework for Conditional Rewrite Systems—Part II: Advanced Processors and Implementation Techniques

Journal of Automated Reasoning ◽

10.1007/s10817-020-09542-3 ◽

2020 ◽

Vol 64 (8) ◽

pp. 1611-1662 ◽

Cited By ~ 2

Author(s):

Salvador Lucas ◽

José Meseguer ◽

Raúl Gutiérrez

Keyword(s):

Rewrite Systems ◽

Implementation Techniques ◽

Dependency Pair

Download Full-text

Response Selection and Automatic Message-Response Expansion in Retrieval-Based QA Systems using Semantic Dependency Pair Model

ACM Transactions on Asian and Low-Resource Language Information Processing ◽

10.1145/3229184 ◽

2019 ◽

Vol 18 (1) ◽

pp. 1-24 ◽

Cited By ~ 1

Author(s):

Ming-Hsiang Su ◽

Chung-Hsien Wu ◽

Kun-Yi Huang ◽

Wu-Hsuan Lin

Keyword(s):

Response Selection ◽

Pair Model ◽

Dependency Pair ◽

Semantic Dependency

Download Full-text

A Static Higher-Order Dependency Pair Framework

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-17184-1_27 ◽

2019 ◽

pp. 752-782 ◽

Cited By ~ 1

Author(s):

Carsten Fuhs ◽

Cynthia Kop

Keyword(s):

Higher Order ◽

Dependency Pair

Download Full-text

The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors

Journal of Computer and System Sciences ◽

10.1016/j.jcss.2018.04.002 ◽

2018 ◽

Vol 96 ◽

pp. 74-106 ◽

Cited By ~ 4

Author(s):

Salvador Lucas ◽

José Meseguer ◽

Raúl Gutiérrez

Keyword(s):

Rewrite Systems ◽

Dependency Pair

Download Full-text

Static Dependency Pair Method in Functional Programs

IEICE Transactions on Information and Systems ◽

10.1587/transinf.2017fop0004 ◽

2018 ◽

Vol E101.D (6) ◽

pp. 1491-1502 ◽

Cited By ~ 1

Author(s):

Keiichirou KUSAKARI

Keyword(s):

Pair Method ◽

Dependency Pair

Download Full-text

Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion

Automated Deduction - CADE-25 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21401-6_10 ◽

2015 ◽

pp. 152-162 ◽

Cited By ~ 3

Author(s):

Haruhiko Sato ◽

Sarah Winkler

Keyword(s):

Control Strategies ◽

And Control ◽

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

Reducing Relative Termination to Dependency Pair Problems

Automated Deduction - CADE-25 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21401-6_11 ◽

2015 ◽

pp. 163-178 ◽

Cited By ~ 1

Author(s):

José Iborra ◽

Naoki Nishida ◽

Germán Vidal ◽

Akihisa Yamada

Keyword(s):

Dependency Pair ◽

Relative Termination

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

dependency pair
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Formalizing the dependency pair criterion for innermost termination

The 2D Dependency Pair Framework for Conditional Rewrite Systems—Part II: Advanced Processors and Implementation Techniques

Response Selection and Automatic Message-Response Expansion in Retrieval-Based QA Systems using Semantic Dependency Pair Model

A Static Higher-Order Dependency Pair Framework

The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors

Static Dependency Pair Method in Functional Programs

Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion

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

Reducing Relative Termination to Dependency Pair Problems

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

Export Citation Format

dependency pairRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Formalizing the dependency pair criterion for innermost termination

The 2D Dependency Pair Framework for Conditional Rewrite Systems—Part II: Advanced Processors and Implementation Techniques

Response Selection and Automatic Message-Response Expansion in Retrieval-Based QA Systems using Semantic Dependency Pair Model

A Static Higher-Order Dependency Pair Framework

The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors

Static Dependency Pair Method in Functional Programs

Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion

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

Reducing Relative Termination to Dependency Pair Problems

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

dependency pair
Recently Published Documents