Na programação, o processo de produção mais eficientes (menores ou mais rápidos) programas através de seleção e projeto de estruturas de dados, algoritmos e instrução seqüências.