PROGRAMAS DE CMPUTO

Un programa informtico es un conjunto de instrucciones que una vez ejecutadas realizarn una o varias tareas en una computadora. Sin programas, estas mquinas no pueden funcionar.1 2Al conjunto general de programas, se le denomina software, que ms genricamente se refiere al equipamiento lgico o soporte lgico de una computadora digital. En informtica, se los denomina comnmente binarios, (propio en sistemas Unix, donde debido a la estructura de este ltimo, los ficheros no necesitan hacer uso de extensiones; posteriormente, los presentaron como ficheros ejecutables, con extensin .exe, en los sistemas operativos de la familia Windows) debido a que una vez que han pasado por el proceso de compilacin y han sido creados, las instrucciones que se escribieron en un determinado lenguaje de programacin, han sido traducidas al nico idioma que la mquina comprende, combinaciones de ceros y unos llamado cdigo mquina. El mismo trmino, puede referirse tanto a un programa ejecutable, como a su cdigo fuente, el cual es transformado en un binario una vez que es compilado. Generalmente el cdigo fuente lo escriben profesionales conocidos como programadores. Este cdigo se escribe en un lenguaje que sigue uno de los siguientes dos paradigmas: imperativo o declarativo, y que posteriormente puede ser convertido en una imagen ejecutable a travs de un programa-compilador. Cuando se pide que el programa sea ejecutado, el procesador ejecuta instruccin por instruccin. De acuerdo a sus funciones, los programas informticos se clasifican en software de sistema y software de aplicacin. En los computadores actuales, al hecho de ejecutar varios programas de forma simultnea y eficiente, se le conoce como multitarea. Los programas de ordenador se pueden clasificar segn el paradigma del lenguaje de programacin utilizado para producirlos. Dos de los principales paradigmas son imperativos y declarativos. Los programas escritos con un lenguaje imperativo especifican un algoritmo utilizando declaraciones, expresiones e informes.3 Una declaracin asocia un nombre de variable a un tipo de datos. Por ejemplo: var x: integer; . Una expresin produce un valor. Por ejemplo: 2 + 2produce 4. Por ltimo, una declaracin puede asignar una expresin a una variable o usar el valor de una variable para alterar las estructuras de control del programa. Por ejemplo: x := 2 + 2; if x = 4 then hacer_algo(); Una crtica de los lenguajes imperativos es el efecto secundario de una sentencia de asignacin en una clase de variables llamadas variables no locales. Los programas escritos en un lenguaje declarativo especifican las propiedades que tienen o que deben cumplirse para la salida. No especifican detalles expresados en trminos de flujo de control de la mquina de ejecucin pero s de

las relaciones matemticas entre los objetos declarados y sus propiedades. Los lenguajes funcionales y lgicos son dos amplias categoras de lenguajes declarativos. El principio detrs de los lenguajes funcionales (como Haskell) es el de no permitir efectos secundarios, lo que hace que sea ms fcil para razonar sobre los programas como si se tratasen de funciones matemticas. 4 El principio detrs de los lenguajes lgicos (como Prolog) es definir el problema a ser resuelto - la meta - y dejar la solucin detallada al propio sistema Prolog.5 El objetivo se define proporcionando la lista de sub-objetivos. Luego, cada subobjetivo se define ms arriba, proporcionando la lista de sus sub-objetivos, etc. Si la ruta de subobjetivos no encuentra una solucin, entonces ese subobjetivo se retrocede y otra va se intenta sistemticamente. La forma en que se crea el programa puede ser textual o visual. En un programa de lenguaje visual, los elementos en vez de ser textualmente especificados son manipulados grficamente. Tpicamente, los programas se almacenan en una memoria no voltil (por ejemplo un disco), para que luego el usuario de la computadora, directa o indirectamente, solicite su ejecucin. Al momento de dicha solicitud, el programa es cargado en la memoria de acceso aleatorio o RAM del equipo, bajo el control del software llamado sistema operativo, el cual puede acceder directamente al procesador. El procesador ejecuta (corre) el programa, instruccin por instruccin hasta que termina. A un programa en ejecucin se le suele llamar tambin proceso. Un programa puede terminar su ejecucin en forma normal o por causa de un error, dicho error puede ser de software o de hardware. Algunos programas estn empotrados en el hardware. Una computadora con arquitectura de programas almacenados requiere un programa inicial almacenado en su ROM para arrancar. El proceso de arranque es para identificar e inicializar todos los aspectos del sistema, desde los registros del procesador, controladores de dispositivos hasta el contenido de la memoria RAM.8 Seguido del proceso de inicializacin, este programa inicial carga al sistema operativo e inicializa al contador de programa para empezar las operaciones normales. Independiente de la computadora, un dispositivo de hardware podra tener firmware empotrado para el control de sus operaciones. El firmware se utiliza cuando se espera que el programa cambie en raras ocasiones o nunca, o cuando el programa no debe perderse cuando haya ausencia de energa