Características de Linguagens de Programação

• Sintaxe e Semântica

• Executável

• Universal (Turing computável)

• Eficiente

• Prova de propriedades