Modelo de programación con estado

El estado se define como una secuencia de valores en el tiempo que contienen los resultados intermedios de un proceso de computación. En el modelo declarativo, el estado es implícito, mientras que este modelo con estado lo muestra explícito.

El principio de abstracción dicta que un sistema es igual a la suma de su especificación y su implementación.

Para soportar el principio de abstracción se requieren cuatro conceptos fundamentales:

  • Encapsulación: Debe ser posible ocultar lo inte...

Modelo concurrente declarativo

El modelo concurrente declarativo extiene del modelo declarativo al añadirle ejecución concurrente. Esto quiere decir que las técnicas usadas para el modelo declarativo también son aplicabables a este modelo, y más importante aún: estos programan son deterministas, porque el no determinismo con el que cuentan es No observable, lo que quiere decir que aunque al interior de un programa no se tenga el control de que se ejecuta en que orden, el resultado siempre será el mismo.

Hilos

Para la...

Modelo de programación declarativa

Variables declarativas

Una variable de única asignación que puede estar o no estar ligada. Una vez se define su valor, ese valor debe permanecer hasta que la computación termine.

Una variable puede ser una estructura de datos compleja y contener otras variables declarativas dentro de ella. Si alguna de estas variables está sin ligar, la estructura de datos tendrá un valor parcial hasta que todas sus variables internas estén ligadas. Esta propiedad toma mucha importancia en la programaci...

Conceptos fundamentales de los modelos de programación

La programación abarca tres elementos:
- Modelo de computación: sistema formal que define un lenguaje y como se ejecutan las instrucciones en una máquina abstracta
- Modelo de programación: Concepto de técnicas de programación y diseños utilizados para escribir programas en el lenguaje del modelo de computación
- Técnicas de razonamiento: corrección y eficiencia.

Sintaxis

Conjunto de reglas que define cuando un programa está bien escrito o no

Esta definición se describe por me...

Modelos y Paradigmas de Programación

Los modelos y paradigmas de programación son principios subyacentes a la implementación de cada lenguaje de programación. Entender estos conceptos permite que se pueda utilizar de una manera adecuada cada uno de estas optimizaciones a la hora de resolver algún tipo de problema.

No existe ningún paradigma o modelo que sea el más adecuado para resolver todo tipo de problemas. Por esta razón algún paradigma o modelo puede aproximarse mejor a la manera natural de resolver un problema

Se ana...