JOURNAL ARTICLE
Tail recursion through universal invariants
Year: 1993 Journal: Theoretical Computer Science Vol: 115 (1)Pages: 151-189 Publisher: Elsevier BV
Keywords:
Recursion (computer science) Mathematics Algebra over a field Computer science Pure mathematics Programming language Discrete mathematics Combinatorics Algorithm
Metrics
7
Cited By
0.91
FWCI (Field Weighted Citation Impact)
46
Refs
0.79
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Parallel Computing and Optimization Techniques
Physical Sciences → Computer Science → Hardware and Architecture
Related Documents
BOOK-CHAPTER
Tail recursion from universal invariants
Lecture notes in computer science Year: 2005 Pages: 151-163
BOOK-CHAPTER
TAIL RECURSION
Ryszard KubiakRoman RudzińskiS. Sokołowski
Elsevier eBooks Year: 1991 Pages: 114-126
JOURNAL ARTICLE
Universal Recursion
Journal: Zenodo (CERN European Organization for Nuclear Research) Year: 2025