The Size-Change Principle for Program Termination (2001)

View PDF

Download Links

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

Documents Related by Co-Citation

121 A complete method for the synthesis of linear ranking functions – A Podelski, A Rybalchenko - 2004
229 Termination of Term Rewriting Using Dependency Pairs – Thomas Arts, J├╝rgen Giesl - 2000
469 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
518 Simple word problems in universal algebras – D E Knuth, P Bendix - 1970
1006 Term Rewriting and All That – F Baader, T Nipkow - 1998
1546 Theory of Linear and Integer Programming – A Schrijver - 1986
1305 On computable numbers with an application to the Entscheidungsproblem – A Turing - 1936
610 Assigning meaning to programs – R Floyd - 1967
667 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979