As linguagens do paradigma de programação funcional, como o Prolog, não apresentam grandes restrições ao uso de estruturas de controle (goto), o que pode reduzir a legibilidade dos programas construídos sem limitações.

No paradigma lógico, que é suportado por linguagens de programação não imperativas, como o Lisp, os programas gerados são embasados em funções matemáticas.

O paradigma de programação orientado a objetos reúne linguagens, como o C++, que são declarativas, isto é, o foco está na especificação dos resultados desejados ao invés dos procedimentos para produzi-los.

As linguagens imperativas, como o Pascal, são voltadas para a especificação da solução do problema, por meio do detalhamento do algoritmo e da especificação da ordem das instruções.

As linguagens procedimentais que dominaram o mercado antes da programação estruturada, tal como o COBOL, caracterizaram-se por utilizar amplamente os tipos abstratos de dados.