compiler
termoprogramação
Um programa que traduz código-fonte em algo que a máquina executa - categoria que Grace Hopper construiu e batizou.
Vale lembrar que isso precisou ser defendido. A ideia de que uma máquina podia traduzir de forma útil texto escrito por humanos em instruções não era óbvia em 1952, e a objeção era que o programador deveria escrever as instruções. O compilador é também onde a confiança fica circular: a palestra Turing de Ken Thompson mostrou que um compilador pode inserir porta dos fundos em programas e em compiladores futuros, então inspecionar o fonte não prova nada sobre o binário. Compilação reproduzível existe para fechar esse laço.
Também conhecido como: compilation