slo una. Una vez que se termina de escribir un programa, sea en ensamblador o
en algunos lenguajes de alto nivel, es necesario compilarlo, es decir, traducirlo
completo a lenguaje mquina.1 Eventualmente ser necesaria otra fase
denominada comnmente link edicin o enlace, durante la cual se anexan al
cdigo, generado durante la compilacin, los recursos necesarios de
alguna biblioteca. En algunos lenguajes de programacin, puede no ser requerido
el proceso de compilacin y enlace, ya que pueden trabajar en modo intrprete.
Esta modalidad de trabajo es equivalente pero se realiza instruccin por
instruccin, a medida que es ejecutado el programa.
Lxico y programacin
La programacin se rige por reglas y un conjunto ms o menos reducido de
rdenes, expresiones, instrucciones y comandos que tienden a asemejarse a una
lengua natural acotada (en ingls); y que adems tienen la particularidad de una
reducida ambigedad. Cuanto menos ambiguo es un lenguaje de programacin,
se dice, es ms potente. Bajo esta premisa, y en el extremo, el lenguaje ms
potente existente es el binario, con ambigedad nula (lo cual lleva a pensar as del
lenguaje ensamblador).
En los lenguajes de programacin de alto nivel se distinguen diversos elementos
entre los que se incluyen el lxico propio del lenguaje y las reglas semnticas y
sintcticas.
Programas y algoritmos
Un algoritmo es una secuencia no ambigua, finita y ordenada de instrucciones que
han de seguirse para resolver un problema. Un programa normalmente
implementa (traduce a un lenguaje de programacin concreto) uno o ms
algoritmos. Un algoritmo puede expresarse de distintas maneras: en forma grfica,
como un diagrama de flujo, en forma de cdigo como en pseudocdigo o un
lenguaje de programacin, en forma explicativa, etc.
Los programas suelen subdividirse en partes menores, llamadas mdulos, de
modo que la complejidad algortmica de cada una de las partes sea menor que la
del programa completo, lo cual ayuda al desarrollo del programa. Esta es una
prctica muy utilizada y se conoce como "refino progresivo".
Segn Niklaus Wirth, un programa est formado por los algoritmos y la estructura
de datos.
Se han propuesto diversas tcnicas de programacin cuyo objetivo es mejorar
tanto el proceso de creacin de software como su mantenimiento. Entre ellas, se
pueden mencionar las siguientes:
programacin declarativa
programacin estructurada
programacin modular
Compilacin
El programa escrito en un lenguaje de programacin (fcilmente comprensible por
el programador) es llamado programa fuente y no se puede ejecutar directamente
en una computadora. La opcin ms comn es compilar el programa obteniendo
un mdulo objeto, aunque tambin puede ejecutarse en forma ms directa a
travs de un intrprete informtico.
El cdigo fuente del programa se debe someter a un proceso de traduccin para
convertirlo a lenguaje mquina o bien a un cdigo intermedio, generando as un
mdulo denominado "objeto". A este proceso se le llama compilacin.
Habitualmente la creacin de un programa ejecutable (un tpico.exe para Microsoft
Windows o DOS) conlleva dos pasos. El primer paso se llama compilacin
(propiamente dicho) y traduce el cdigo fuente escrito en un lenguaje de
programacin almacenado en un archivo de texto a cdigo en bajo nivel
(normalmente en cdigo objeto, no directamente a lenguaje mquina). El segundo
paso se llama enlazado en el cual se enlaza el cdigo de bajo nivel generado de
todos los ficheros y subprogramas que se han mandado compilar y se aade el
cdigo de las funciones que hay en las bibliotecas del compilador para que el
ejecutable pueda comunicarse directamente con el sistema operativo, traduciendo
as finalmente el cdigo objeto a cdigo mquina, y generando un mdulo
ejecutable.
Referencias histricas
La primera mujer programadora de computadoras conocida fue Ada Lovelace, hija
de Anabella Milbanke Byron y Lord Byron. Anabella introdujo en las matemticas a
Ada quien, despus de conocer a Charles Babbage, tradujo y ampli una
descripcin de su mquina analtica. Incluso, aunque Babbage nunca complet la
construccin de cualquiera de sus mquinas, el trabajo que Ada realiz con stas
le hizo ganarse el ttulo de primera programadora de computadoras del mundo. El
nombre del lenguaje de programacin Adafue escogido como homenaje a esta
programadora.