Um programa pode ser composto por partes independentemente carregadas e realocadas. Um ligador pode ser usado para resolver as referências aos símbolos externos às partes e para produzir um código executável.

Um carregador transfere para a memória códigos a serem executados. Se for transferido um código objeto, tem que ser armazenado nos endereços definidos quando foi gerado, pois um código objeto não pode ser realocado.

Para gerar um código objeto, um compilador precisa fazer a análise sintática e semântica de um programa. Para isso ser possível, a semântica da linguagem, mas não a sintaxe, é descrita na notação Backus-Naur Form (BNF).

Os interpretadores não analisam sintaticamente os códigos fonte uma vez que os traduzem para um formato interno. Por isso, um interpretador traduz um código em menos tempo que um compilador.