Programación Imperativa





Programación imperativa
Los equipos Von Newman y la programación imperativa
La arquitectura de los llamados equipos Von Newman es la base de la programación imperativa y de los lenguajes imperativos. El equipo tiene una memoria, que contiene tanto las instrucciones del programa (almacén de programa) como los valores de datos (almacén de datos).
Los lenguajes imperativos tienendeclaraciones de las variables, expresiones y comandos.
Las declaraciones asignan nombres a ubicaciones de memoria y asocian tipos con valores almacenados.
Las expresiones se interpretan en términos de expresiones actuales en el almacén de datos; dado un nombre, el almacén devuelve el valor actual del almacén de datos que está asociado con el nombre.
Los comandos se ejecutan normalmente en elorden que aparecen en el almacén del programa, aunque los saltos condicionales o no condicionales pueden cambiar el flujo de la ejecución. Debido al uso de extensos saltos, los primeros programas se diseñaban utilizando un tipo de grafico especial conocido como diagrama de flujo.
Los comandos de un lenguaje imperativo eran simples abstracciones de los equipos Von Newman normales, que incluíaninstrucciones de asignación, condicionales y de ramificación.
Las instrucciones de asignación ofrecían la posibilidad de actualizar el almacén de datos, mientras las condicionales y las de ramificación permitían que una serie de instrucciones fueran pasadas de alto o ejecutadas repetidas veces. Estas instrucciones por si solas proporcionaban una base efectiva para escribir cualquier programa quepudiera ser diseñado.
Se dice que un lenguaje de programación es de Recorrido completo si contiene variables enteras, valores y operaciones y tienen instrucciones, condicionales e instrucciones de ramificación. Todos los demás formatos de instrucciones (bucles, while, y for, selecciones case, declaración de procedimientos y llamadas) y tipos de datos (cadenas, coma flotante, etc.) están en loslenguajes modernos solo para mejorar la facilidad de programación de distintas aplicaciones complejas.
Un lenguaje de programación imperativo es un lenguaje de recorrido completo que además soporta un cierto número de características fundamentales que han nacido con la evolución del paradigma de programación imperativa.
Estas características incluyen:
Tipos de datos para los números reales,caracteres, cadenas, booleanos y sus operadores;
Estructuras de control, bucles for y while, instrucciones case (switch);
Asignación de elementos y arrays;
Asignación de elementos y estructuras de grabación;
Comandos de entrada y salida;
Punteros;
Procedimientos y funciones.
Abstracción
Nicholas Wirth describe los programas imperativos como "algoritmos más estructuras de datos" ya que seconvierten en programas a través del proceso de abstracción de procedimientos y refinamiento paso a paso.
Bibliotecas de funciones reutilizables apoyan el proceso (Las funciones de los procedimientos). Abstracción de procedimiento permite que el programador se refiere principalmente a la interfaz entre la función (procedimiento) y lo que se calcula, haciendo caso omiso de los detalles de cómo serealiza el cálculo permitiendo pensar sobre lo que se hace, no cómo se implementa.
Refinamiento pasó a paso
Refinamiento paso a paso (también llamado descomposición funcional) utiliza abstracción de procedimientos mediante el desarrollo de un algoritmo de su forma más general [la abstracción] en una implementación específica.
Los programadores comienzan con una descripción de lo que el programadebe hacer, incluyendo I / O, y se rompen en varias ocasiones el problema en partes más pequeñas, hasta los sub-problemas se pueden expresar en términos de los estados primitivos y tipos de datos en el idioma.
Denominación y variables
Identificadores: Utilizamos los nombres para indicar ubicaciones del almacén de datos.
Reservados: Son aquellos nombres que no se puedan utilizar como...