O uso de recursão é tecnicamente mandatório em sistemas de tempo real para garantir que o tempo de execução seja previsível e linear em relação à entrada.

A recursividade em cauda é uma técnica onde o compilador converte chamadas aninhadas em saltos de memória para evitar o uso de registradores de ponto flutuante.

A profundidade máxima de chamadas recursivas é determinada estaticamente pelo tamanho do código binário da função armazenado na memória de leitura do sistema.

Toda função recursiva deve possuir um caso base que interrompa as chamadas sucessivas e retorne um valor sem realizar uma nova invocação interna.