Resumen de L2 II O2 un lenguaje lógico concurrente orientado a objetos
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.
