L2 II O2 un lenguaje lógico concurrente orientado a objetos

  1. Pimentel Sánchez, Ernesto
Dirigida por:
  1. José María Troya Linero Director/a

Universidad de defensa: Universidad de Málaga

Año de defensa: 1993

Tribunal:
  1. Isidro Ramos Salavert Presidente/a
  2. Francisco Andrés Triguero Ruiz Secretario/a
  3. Fernando Orejas Valdés Vocal
  4. Mario Rodríguez Artalejo Vocal
  5. Manuel de Hermenegildo Salinas Vocal

Tipo: Tesis

Teseo: 38438 DIALNET

Resumen

EL TRABAJO DESARROLLADO EN EL ESTUDIO SE DEBE ENMARCAR EN EL AMBITO DE LA PROGRAMACION LOGICA CONCURRENTE Y LA PROGRAMACION ORIENTADA A OBJETOS, SE REALIZA UNA PROPUESTA DE INTEGRACION ENTRE AMBOS PARADIGMAS CON IMPORTANTES BENEFICIOS DERIVADOS DE SU COMBINACION. EN ESTE SENTIDO, SE HA EXTENDIDO EL PARADIGMA LOGICO CONCURRENTE POR MEDIO DE MECANISMOS Y CONCEPTOS PROPIOS DE LA PROGRAMACION ORIENTADA A OBJETOS. TAL INTEGRACION SE TRADUCE EN UNA DEFINICION E IMPLEMENTACION DE UN LENGUAJE LOGICO CONCURRENTE ORIENTADO A OBJETOS (L2 II O2). LAS APORTACIONES DE ESTE TRABAJO SE CENTRAN EN EL DISEÑO E IMPLEMENTACION DE UN LENGUAJE LOGICO CONCURRENTE, DE UNA PARTE, Y SU DEFINICION FORMAL, DE OTRA. EN EL PRIMER ASPECTO, AUMENTA LA CAPACIDAD EXPRESIVA DE OTROS Y COMPLETA ALGUNAS PROPUESTAS EXISTENTES EN EL SEGUNDO, ADEMAS DE LA DEFINICION OPERACIONAL, DECLARATIVA Y DENOTACIONAL, EXTIENDE LA TEORIA DE LA UNIFICACION.