Termination of Functional Programs is a theoretical framework within termination analysis that specifically addresses the conditions under which functional programs cease computation by ensuring that recursive evaluations and function applications always reach a final result in a finite number of steps.
69
Publications
2.9K
Citations
108
Authors
69
Institutions
Publications per year
2017–2026
7
Parents
Publications
69
The size-change principle for program termination
Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram · 2001 · 379 citations · Full text
Functional programming: Application and implementation
Computer Languages · 1981 · 235 citations
2015 Scheme and Functional Programming Workshop
Ryan Culpepper, Andy Keep · 2016 · 115 citations
1–5 of 69
Authors
108
- CS
3
h-index
- BM
2
h-index
- AA
2
h-index
- AM
2
h-index
- JP
2
h-index
1–5 of 108
Institutions
69
University of Oxford
Oxford, United Kingdom
5 h-index
9 publications
344 citations
University of Copenhagen
Copenhagen, Denmark
4 h-index
5 publications
495 citations
Universitat Politècnica de València
Valencia, Spain
3 h-index
4 publications
121 citations
Chalmers University of Technology
Gothenburg, Sweden
3 h-index
4 publications
238 citations
Academic College of Tel Aviv-Yafo
Tel Aviv, Israel
2 h-index
2 publications
449 citations
Aarhus University
Aarhus, Denmark
2 h-index
2 publications
61 citations
University of Utah
Salt Lake City, United States
2 h-index
3 publications
34 citations
University of Tsukuba
Tsukuba, Japan
2 h-index
3 publications
70 citations
1–8 of 69
Venues
- ACM SIGPLAN Notices
2 publications · 144 citations
2
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 2 publications · 120 citations
2
h-index
- Information Processing Letters
2 publications · 35 citations
2
h-index
- Logical Methods in Computer Science
LMCS · 2 publications · 38 citations
2
h-index
- ACM Transactions on Programming Languages and Systems
2 publications · 119 citations
2
h-index
1–5