Entornos operativos funcionales

  1. Lafuente Rojo, Alberto
Supervised by:
  1. Clemente Rodríguez Lafuente Director

Defence university: Universidad del País Vasco - Euskal Herriko Unibertsitatea

Year of defence: 1990

Committee:
  1. Pedro de Miguel Anasagasti Chair
  2. Ramón Beivide Palacio Secretary
  3. José María Llaberia Griño Committee member
  4. María Isabel Garcia Clemente Committee member
  5. Juan José Navarro Guerrero Committee member
Department:
  1. Arquitectura y Tecnología de Computadores

Type: Thesis

Teseo: 26971 DIALNET

Abstract

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.