Uma linguagem de programação na qual o usuário declara um conjunto específico de instruções que o computador deve executar em uma determinada seqüência. Todas as linguagens de programação amplamente utilizadas são deste tipo.