L2 II O2 un lenguaje lógico concurrente orientado a objetos
- Pimentel Sánchez, Ernesto
- José María Troya Linero Director/a
Universidad de defensa: Universidad de Málaga
Año de defensa: 1993
- Isidro Ramos Salavert Presidente/a
- Francisco Andrés Triguero Ruiz Secretario/a
- Fernando Orejas Valdés Vocal
- Mario Rodríguez Artalejo Vocal
- Manuel de Hermenegildo Salinas Vocal
Tipo: Tesis
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.