summary
- Program termination analysis
- Size-change termination principle
- Termination via automata
references
- “The size-change principle for program termination”, Lee, Jones, Ben-Amram, 2001
- “Program termination analysis in polynomial time”, Ben-Amram, Lee, 2007
- “Büchi complementation and size-change termination”, Fogarty, Vardi, 2010