Tesis doctoral de Ernesto Pimentel Sanchez
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.
Datos académicos de la tesis doctoral «L2 ii o2 un lenguaje logico concurrente orientado a objetos«
- Título de la tesis: L2 ii o2 un lenguaje logico concurrente orientado a objetos
- Autor: Ernesto Pimentel Sanchez
- Universidad: Málaga
- Fecha de lectura de la tesis: 01/01/1993
Dirección y tribunal
- Director de la tesis
- José María Troya Linero
- Tribunal
- Presidente del tribunal: Isidro Ramos Salavert
- Mario Rodríguez Artalejo (vocal)
- Fernando Orejas Valdés (vocal)
- Manuel Hermenegildo Salinas (vocal)