Ciência da Computação

54
O que é uma linguagem de programação segura?

Linguagens de programação seguras (PL) estão ganhando popularidade. Gostaria de saber qual é a definição formal de PL seguro. Por exemplo, C não é seguro, mas Java é seguro. Suspeito que a propriedade “segura” deva ser aplicada a uma implementação de PL e não ao próprio PL. Nesse caso, vamos...

54
Complexidade temporal de um compilador

Estou interessado na complexidade do tempo de um compilador. Claramente, essa é uma pergunta muito complicada, pois há muitos compiladores, opções e variáveis ​​de compilador a serem consideradas. Especificamente, estou interessado em LLVM, mas estaria interessado em quaisquer pensamentos que as...

52
O que é recursão da cauda?

Eu conheço o conceito geral de recursão. Me deparei com o conceito de recursão da cauda enquanto estudava o algoritmo quicksort. Neste vídeo de algoritmo de ordenação rápida do MIT às 18:30 segundos, o professor diz que este é um algoritmo recursivo de cauda. Não está claro para mim o que realmente...