O programa escrito nunha [[linguaxe de programación]] (comprensible polo home, aínda que soen corresponder con linguaxes formais descritos por gramáticas independentes do contexto) non é inmediatamente executable nun ordenador. A opción máis común é [[compilación|compilar]] o programa, aínda que tamén pode ser executado mediante un [[intérprete informático]].
O código fonte do programa ha de sometersesométese a un proceso de transformación para converterse en linguaxe máquina, interpretable polo [[procesador]]. A este proceso chámaselle compilación e resulta nun programa [[executable]] (un típico .exe para os usuarios de [[Windows]]). O proceso faise en dous pasos. O primeiro paso é a compilación propiamente dita e traduce o código fonte escrito nunha linguaxe de alto nivel a [[código obxecto]], máis próximo á linguaxe máquina. O segundo paso chamase [[enlazador|enlazado]] (ou ás veces mal chamado ''linkado'' do inglés ''link'') e traduce o código obxecto a [[código máquina]]. Un programa podería ter partes escritas en varios linguaxes, que se poderían compilar de xeito independente e enlazar xuntas para formar un único [[executable]], aínda que non é unha práctica habitual.
Outra alternativa son os programas interpretados, nos que un intérprete realizan a tradución da linguaxe de alto nivel a código máquina a medida que sexa necesario. O resultado da tradución normalmente non se almacena, senón que se volve a traducir no caso de que se volva a precisar.
Normalmente a creación dun programa [[executable]] (un típico .exe para os usuarios de Windows) conleva dous pasos. O primeiro paso chámase compilación (propiamente dito) e traduce o código fonte escrito nunha linguaxe de alto nivel a [[código obxecto]] (máis próximo á linguaxe máquina). O segundo paso chamase [[enlazador|enlazado]] (ou ás veces mal chamado ''linkado'' do inglés ''link'') e traduce o [[código obxecto]] a [[código máquina]].
Un programa podería ter partes escritas en varios linguaxes, que se poderían compilar de forma independente e enlazar xuntas para formar un único [[executable]], aínda que non é unha práctica habitual.
