Utilizando-se variáveis podem- se armazenar dados de um programa em memória. Na linguagem C, uma variável global pode ser declarada e definida múltiplas vezes dentro e fora do programa.

A recursão pode ser relacionada a algoritmos, caso em que está diretamente relacionada ao método de dividir- para- conquistar, e relacionada a tipos de dados, que consiste em uma técnica para representar dados de tamanho indefinido.

Existem duas formas de representar o armazenamento de dados estruturados: a sequencial, que é utilizada para estruturas de tamanho fixo, como arrays, e a encadeada, que é utilizada para estruturas de tamanho variado, como listas, pilhas e vetores.

Considere que uma função OrdenaVetor ordene os dados de um vetor, que é recebido como parâmetro por referência. Nessa situação, as mudanças de valores do vetor somente poderão ser visualizadas ao término da execução da função OrdenaVeto.

Algoritmos podem ser entendidos como uma sequência de procedimentos que transformam valores de entrada em valores de saída. O denominado problema do caixeiro viajante é considerado um algoritmo eficiente.

Para implementar o conceito de herança múltipla, característica de linguagens de programação orientadas a objeto, na linguagem Java, é suficiente utilizar a palavra reservada extends na classe filha.

Mediante a utilização da técnica de programação estruturada, é possível obter programas mais legíveis e, consequentemente, menos suscetíveis a erros, e também definir e melhorar o grau de coesão entre as funções de um programa.

Para realizar testes de unidade ou estrutural, pode-se utilizar uma representação conhecida como grafo de fluxo de controle de um programa. A partir do grafo, executam- se todos os caminhos do programa, principalmente na presença de laços.

Em um programa que consiste de vários blocos de comando, variáveis declaradas com nomes iguais em diferentes blocos podem gerar erros de execução, visto que não será possível resolver a variável e sua declaração.

Um dos critérios do teste de unidade é o particionamento de equivalência, que consiste no particionamento do domínio de entrada do programa de modo que o conjunto de testes resultantes corresponda a uma representação satisfatória de todo o domínio.