Size-Change Termination is a formal method for proving termination of programs by analyzing abstract transition systems in which infinite computation is ruled out through the identification of infinite descent in well-founded data value sizes across function calls.
20
Publications
837
Citations
24
Authors
25
Institutions
Publications per year
2017–2026
1
Parents
Publications
20
The size-change principle for program termination
Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram · 2001 · 379 citations · Full text
The size-change principle for program termination
Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram · ACM SIGPLAN Notices · 2001 · 70 citations
1–5 of 20
Authors
24
- AM
6
h-index
- ND
4
h-index
- CS
4
h-index
- RT
2
h-index
- JN
1
h-index
1–5 of 24
Institutions
25
Academic College of Tel Aviv-Yafo
Tel Aviv, Israel
7 h-index
8 publications
588 citations
University of Copenhagen
Copenhagen, Denmark
5 h-index
5 publications
513 citations
Max Planck Institute for Informatics
Saarbrücken, Germany
2 h-index
2 publications
71 citations
IT University of Copenhagen
Copenhagen, Denmark
2 h-index
2 publications
44 citations
The University of Western Australia
Perth, Australia
2 h-index
2 publications
449 citations
Université de Lorraine
Nancy, France
1 h-index
2 publications
38 citations
Université Sorbonne Paris Nord
Villetaneuse, France
1 h-index
1 publications
12 citations
RWTH Aachen University
Aachen, Germany
1 h-index
2 publications
86 citations
1–8 of 25
Venues
- Logical Methods in Computer Science
LMCS · 5 publications · 87 citations
5
h-index
- ACM Transactions on Programming Languages and Systems
4 publications · 122 citations
4
h-index
- ACM Transactions on Computational Logic
TOCL · 2 publications · 31 citations
2
h-index
- Applicable Algebra in Engineering Communication and Computing
1 publications · 43 citations
1
h-index
- ACM SIGPLAN Notices
1 publications · 70 citations
1
h-index
1–5