The Size-Change Principle for Program Termination (2001)

Cached

Download Links

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

Active Bibliography

214 Termination of Term Rewriting Using Dependency Pairs – Thomas Arts, Jürgen Giesl - 2000
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
41 Type-Based Termination of Recursive Definitions – G. Barthe, M. J. Frade, E. Giménez, L. Pinto, T. Uustalu - 2002
14 Termination Analysis and Specialization-Point Insertion in Off-line Partial Evaluation – Arne John Glenstrup, Neil D. Jones - 2004
6 Program Generation, Termination, and Binding-time Analysis – Neil D. Jones, Arne J. Glenstrup - 2002
2 Innermost reductions find all normal forms on right-linear terminating overlay TRSs – Masahiko Sakai, Kouji Okamoto, Toshiki Sakabe - 2003
Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARLS α-conversion is easy – Thorsten Altenkirch
53 ELAN from a rewriting logic point of view – Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau - 2002
42 Decidable Approximations of Sets of Descendants and Sets of Normal Forms – Thomas Genet - 1997