Entornos operativos funcionales

  1. Lafuente Rojo, Alberto
Dirigida por:
  1. Clemente Rodríguez Lafuente Director/a

Universidad de defensa: Universidad del País Vasco - Euskal Herriko Unibertsitatea

Año de defensa: 1990

Tribunal:
  1. Pedro de Miguel Anasagasti Presidente/a
  2. Ramón Beivide Palacio Secretario/a
  3. José María Llaberia Griño Vocal
  4. María Isabel Garcia Clemente Vocal
  5. Juan José Navarro Guerrero Vocal
Departamento:
  1. Arquitectura y Tecnología de Computadores

Tipo: Tesis

Teseo: 26971 DIALNET

Resumen

LOS LENGUAJES FUNCIONALES HAN TENIDO UNA AMPLIA ACEPTACION EN LA PROGRAMACION ACTUAL, POR SU PODER EXPRESIVO Y POR SUS PROPIEDADES FORMALES, QUE LOS HACEN PARTICULARMENTE ATRACTIVOS PARA LA VERIFICACION DE PROGRAMAS Y PARA LA EXPLOTACION DE SU PARALELISMO IMPLICITO, SIN EMBARGO, SU CARACTER DECLARATIVO Y ATEMPORAL PARECE DIFICULTAR SU UTILIZACION EN ENTORNOS DONDE SE REQUIERA TRATAR CON CONCEPTOS TALES COMO CONCURRENCIA, COMUNICACION Y TIEMPO REAL. INTRODUCIMOS UN LENGUAJE FUNCIONAL CON CONSTRUCCIONES ESPECIFICAS PARA TRATAR CON DISPOSITIVOS Y EVENTOS Y, EN GENERAL, PARA EXPRESAR LOS REQUERIMIENTOS DE LOS ENTORNOS OPERATIVOS REALES. LA SEMANTICA DEL LENGUAJE Y EL COMPORTAMIENTO DE LOS ELEMENTOS DEL ENTORNO SE ESTUDIAN EN VARIOS NIVELES DE ABSTRACCION CON OBJETO DE MOSTRAR LA VIABILIDAD DE LOS LENGUAJES FUNCIONALES PARA SOPORTAR LAS CARACTERISTICAS DE LOS ENTORNOS OPERARIVOS CON UNA IMPLEMENTACION RAZONABLE.