Nella programmazione, il processo di produzione più efficienti programmi (più piccoli o più veloce), attraverso la selezione e di istruzione, algoritmi e strutture dati sequenze.