Em um programa orientado a objetos, cada objeto é uma instância de uma classe na qual estão definidas todas as características de tal objeto.

Em programação funcional, funções são ditas de ordem superior se os seus argumentos ou resultados são, eles próprios, funções.

Na programação lógica, os programas são compostos por funções que implementam sentenças da lógica de primeira ordem.

Em linguagens de programação puramente imperativas, como é o caso da linguagem C++, os programas são vistos como uma sequência de ações.

Todo programa orientado a objetos é composto por classes que estão relacionadas por meio de uma hierarquia de classes. Independente da linguagem orientada a objetos utilizada, a hierarquia pode conter herança múltipla de classes.