A estabilidade de um método de ordenação é importante quando o conjunto de dados já está parcialmente ordenado.

As tabelas hashing, ou tabelas de dispersão, podem ser usadas no processo de gerenciamento de memória virtual pelo sistema operacional.

Árvore binária é uma estrutura de dados adequada à representação de hierarquia, sendo usada frequentemente em ordenação e pesquisa. Para a busca em um vetor ordenado, pode-se utilizar o algoritmo de busca binária, o qual não exige a implementação de uma árvore binária.

A estrutura de dados heap, que é eficiente para a implementação do método de ordenação heapsort, consiste em uma árvore binária completa e sua implementação mais simples ocorre na forma de array.

A eficácia do método de ordenação rápida (quicksort) depende da escolha do pivô mais adequado ao conjunto de dados que se deseja ordenar. A situação ótima ocorre quando o pivô escolhido é igual ao valor máximo ou ao valor mínimo do conjunto de dados.

O princípio de abstração possui dois tipos fundamentais: a abstração de processos, que está diretamente ligada à programação orientada a objetos; e a abstração de dados, relacionada à utilização de subprogramas. Um conceito diretamente relacionado a ambos os tipos de abstração é o encapsulamento, que consiste no fornecimento de serviços bem definidos, sem necessariamente esclarecer como esses serviços são executados.

Variáveis declaradas internamente a uma função ou procedimento são chamadas variáveis locais e, dependendo da linguagem de programação, possuem duração e escopo limitados à função ou procedimento onde são declaradas. Se uma linguagem de programação define a alocação de variáveis locais de maneira estática, a utilização de recursividade não é possível.

Sobrecarga e sobreposição de métodos são implementações específicas de polimorfismo, já que, em ambos os casos, a decisão sobre o método a ser chamado é realizada em tempo de execução.

A programação orientada a objetos pode ser considerada como uma aplicação do conceito de encapsulamento de processos que é utilizado, em programação estruturada, na definição de tipos abstratos de dados.

Uma das características das linguagens orientadas a objetos é que a ligação entre o método e uma mensagem é realizada tardiamente, em tempo de execução, ao contrário das linguagens imperativas, cujos tipos das variáveis, expressões e funções devem ser definidos e conhecidos em tempo de compilação.