Historia de Los Lenguajes

1
Historia de Los Lenguajes

• Multiplicidad de Lenguajes http//www.levenez.com
  /lang/history.html
• Bajo diferentes pradigmas.
• Paradigma de la máquina Von Newmann
• Primera generación Instrucciones ingresadas
  directamente (unos y ceros)
• Segunda Generación Asembler y compilación de
  instrucciones.
• Paradigma Procedural / Declarativo.
• Tercera generación Descripción del Proceso.
• Aparición de los términos o fórmulas (FORTRAN).
• Cuarta Generación Visuales y declarativos.
• Editores de formas sobre Bases de Datos.
• Paradigama Lógico
• Quinta Generación Proceso Demostración.

2
Paradigma de Maquina.

• Memoria.
• Lugares de almacenamiento de datos en el
  computador.
• Con diversos grados de accesibilidad (serial,
  random etc..).
• Procesador.
• Lleva a cabo cómputos con movimientos de datos.
• Tomando los datos de la memoria de lugares en las
  memoria.
• Dejando los resultados en lugares en la memoria.
• Tomando datos de afuera o enviando datos afuera.
• Programa.
• Define los cómputos y las a secuencia en que se
  ejecutan.
• Proceso.
• Evolución del contenido de la memoria a medida
  que se ejecuta el proceso (cómputos e
  instrucciones de E/S)

3
Paradigma Declarativo

• Describir los objetos que se quiere obtener, en
  lugar de indicar la manera como se obtienen.
• ?Como se pide un café en un restaurante?
• Operaciones son funciones que permiten escribir
  términos (o formulas) a ser calculadas.
• Consultas describen los datos que se desean
• Formas de diálogo se dibujan en editores
  gráficos.
• No sobre especifican el programa
• No indican orden de ejecución de las operaciones.
• No indican cambios en la memoria.
• Rótulos refieren valores y no lugares.

4
Paradigma Lógico.

• Memoria.
• Lugar en un ensamblaje de símbolos.
• Procesador.
• Quien cambia (o reescribe) el ensamblaje de
  símbolos a otro semánticamente equivalente.
• Programa.
• Reglas que definen relaciones entre los
  ensamblajes de símbolos (equivalencia o
  consecuencia lógica).
• Proceso.
• Evolución del ensamblaje de entrada hasta el de
  salida.
• E/S.
• El ensamblaje de símbolos se coloca en una
  estructura de salida y se substituye por el
  resultado.

5
Motivación

• Expresividad.
• Códigos mucho más pequeños.
• Y fáciles de entender (se concentran en el
  resultado del proceso)
• Eficiencia El programador influye menos
• No manipula la memoria.
• Depende del interprete
• Cualquier eficiencia en el interprete será
  aprovechada por todos los programas.
• Las ineficiencias también perjudican a todos.

6
Motivación

• El paralelismo es inherente a la especificación.
• Se pueden obtener simultáneamente varios objetos.
  
• Propiedades Formales.
• Pueden obtenerse conclusiones del programa.
• El programa fallará en estos casos..
• Modificarlo a otro equivalente.
• De forma automática.
• Generar el programa en un lenguaje proceural.
• Directiva OMG.

7
Pero

• !Hay que cambiar de modo de Pensar!.
• Más fácil pasar de lo declarativo a lo procedural
  que de lo procedural a lo declarativo.
• Más cercano al modo de pensar de la matemática.