Concepedia

Tail Call Optimization

Tail Call Optimization is a compiler-level optimization technique that eliminates the creation of a new stack frame for a function call appearing in tail position, thereby enabling space-efficient recursion and preventing unbounded stack growth in tail-recursive programs.

13

Publications

822

Citations

24

Authors

19

Institutions

Publications per year

2017–2026

1

Parents

Publications

13

Linearity and the pi-calculus

Naoki Kobayashi, Benjamin C. Pierce, David N. Turner · ACM Transactions on Programming Languages and Systems · 1999 · 240 citations · Full text

, , +12

Linearity and the pi-calculus

Naoki Kobayashi, Benjamin C. Pierce, David N. Turner · 1996 · 141 citations · Full text

, , +12

Proper tail recursion and space efficiency

William Clinger · 1998 · 118 citations · Full text

, , +13

Stack-based typed assembly language

Greg Morrisett, Karl Crary, Neal Glew et al. · Journal of Functional Programming · 2002 · 102 citations · Full text

, , +16

A tail-recursive machine with stack inspection

John Clements, Matthias Felleisen · ACM Transactions on Programming Languages and Systems · 2004 · 47 citations · Full text

, , +10

1–5 of 13

Authors

24

  1. GM
    Greg Morrisett

    Harvard University Press, United States

    2 publications · 113 citations

    2

    h-index

  2. WC
    William Clinger

    Northeastern University, United States

    2 publications · 132 citations

    2

    h-index

  3. NG
    Neal Glew

    Cornell University, United States

    2 publications · 113 citations

    2

    h-index

  4. BC
    Benjamin C. Pierce

    University of Pennsylvania, United States

    2 publications · 381 citations

    2

    h-index

  5. DN
    David N. Turner

    University of Glasgow, United Kingdom

    2 publications · 381 citations

    2

    h-index

1–5 of 24

Institutions

19

  1. Carnegie Mellon University

    Pittsburgh, United States

    2 h-index

    4 publications

    226 citations

  2. Cornell University

    Ithaca, United States

    2 h-index

    2 publications

    113 citations

  3. The University of Tokyo

    Tokyo, Japan

    2 h-index

    2 publications

    381 citations

  4. Universidad del Noreste

    Tampico, Mexico

    2 h-index

    2 publications

    132 citations

  5. Stony Brook University

    Stony Brook, United States

    1 h-index

    3 publications

    63 citations

  6. University of Cambridge

    Cambridge, United Kingdom

    1 h-index

    1 publications

    141 citations

  7. Roskilde University

    Roskilde, Denmark

    1 h-index

    1 publications

    32 citations

  8. University of Glasgow

    Glasgow, United Kingdom

    1 h-index

    1 publications

    141 citations

1–8 of 19

Venues

  1. 3

    h-index

  2. Journal of Functional Programming

    3 publications · 130 citations

    3

    h-index

  3. ACM Letters on Programming Languages and Systems

    LOPLAS · 1 publications · 21 citations

    1

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 32 citations

    1

    h-index

  5. ACM SIGPLAN Notices

    1 publications · 14 citations

    1

    h-index

1–5