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

• Autores: Ernesto Pimentel Sánchez
• Directores de la Tesis: José María Troya Linero (dir. tes.)
• Lectura: En la Universidad de Málaga ( España ) en 1993
• Idioma: español
• Tribunal Calificador de la Tesis: Isidro Ramos Salavert (presid.), Francisco Andrés Triguero Ruiz (secret.), Fernando Orejas Valdés (voc.), Mario Rodríguez Artalejo (voc.), Manuel de Hermenegildo Salinas (voc.)
• Materias:
  • Matemáticas
    • Ciencia de los ordenadores
      • Lenguajes de programación
      • Teoría de la programación
• Texto completo no disponible (Saber más ...)
• 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.