The Size-Change Principle for Program Termination (2001)

Cached

Download Links

by Chin Soon Lee , Neil D. Jones , Amir M. Ben-amram
Citations:175 - 11 self

Active Bibliography

2 T.: Innermost reductions find all normal forms on right-linear terminating overlay TRSs – Masahiko Sakai, Kouji Okamoto, Toshiki Sakabe - 2003
6 Program Generation, Termination, and Binding-time Analysis – Neil D. Jones, Arne J. Glenstrup - 2002
14 Termination Analysis and Specialization-Point Insertion in Off-line Partial Evaluation – Arne John Glenstrup, Neil D. Jones - 2004
208 Termination of Term Rewriting Using Dependency Pairs – Thomas Arts, Jürgen Giesl - 2000
39 Type-Based Termination of Recursive Definitions – G. Barthe, M. J. Frade, E. Giménez, L. Pinto, T. Uustalu - 2002
4 Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All – Niels H. Christensen, Robert Glück, Søren Laursen - 2000
15 Finiteness Analysis in Polynomial Time – Chin Soon Lee - 2002
42 Decidable Approximations of Sets of Descendants and Sets of Normal Forms – Thomas Genet - 1997
The Hierarchy of Dependency Pairs – Keiichirou Kusakari Yoshihito Toyama, Keiichirou Kusakari, Keiichirou Kusakari, Yoshihito Toyama, Yoshihito Toyama - 1999
Termination of Associative-Commutative Rewriting using Dependency Pairs Criteria – Kusakari Keiichirou, Claude Marché, Xavier Urbain - 2002
1 Proving Termination of Sequential Reduction Relation using Tree Automata – Thomas Genet - 1997
5 Termination, AC-Termination and Dependency Pairs of Term Rewriting Systems – Keiichirou Kusakari - 2000
18 Modularity of Termination Using Dependency Pairs – Thomas Arts, Jürgen Giesl - 1997
4 Reducing AC-Termination to Termination – Maria C.F. Ferreira, Delia Kesner, Laurence Puel - 1997
2 Termination Dependencies – Nachum Dershowitz
8 Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems – Enno Ohlebusch - 1999
6 Characterisations of Termination in Logic Programming – Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus - 2001
13 Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems – Xavier Urbain - 2001
13 Termination of Associative-Commutative Rewriting by Dependency Pairs – Claude Marche, Xavier Urbain - 1998