Variáveis declaradas internamente a uma função ou procedimento são chamadas variáveis locais e, dependendo da linguagem de programação, possuem duração e escopo limitados à função ou procedimento onde são declaradas. Se uma linguagem de programação define a alocação de variáveis locais de maneira estática, a utilização de recursividade não é possível.