En la programació, el procés de convertir un microprogram en un microprogram funcionalment equivalent que és més ràpid o més curts que l'original.