Se le llama programa a la serie de instrucciones escritas en alguno de los lenguajes, por medio de los cuales se logra que la computadora realice todas las operaciones o decisiones señaladas en dichas instrucciones.

Podemos distinguir dos tipos de programa:

Programa fuente: es el conjunto de instrucciones escritas en algún lenguaje de computadora, las cuales han sido transcritos para ser interpretadas por algún dispositivo de lectura.

Programa objeto: es el conjunto de instrucciones que componen un programa fuente y que han sido traducidas al lenguaje maquina por medio del compilador correspondiente.

Un compilador es un programa que traduce el programa fuente a programa objeto. Un compilador independiente se requiere para cada lenguaje de programación. Éste efectúa sólo la traducción y detecta errores de sintaxis; no ejecuta el programa. Una vez compilado el programa, el resultado en forma de programa objeto será directamente ejecutable.