The size-change principle for program termination.

Lee, C. S., Jones, & Ben-Amram, A. M. (2001). The size-change principle for program termination. POPL '01: Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 81-92.

Type

Journal article

Intellectual base

Primary research

Year

2001

Link

https://doi.org/10.1145/360204.360210verified

Cited from

mathematics

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Well-Foundedness (Well-Ordering)
  • the international Termination Competition (annual since the early 2000s) benchmarks termination tools on standard term-rewriting and program-termination corpora.

    This sourceFoundational size-change termination algorithm.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:978fbf496518 · see in the full table