Diseño, semantica e implementacion de babel: un lenguaje que integra la programacion funcional y logica
Tesis doctoral de Juan Jose Moreno Navarro Datos académicos de la tesis doctoral «Diseño, semantica e implementacion de babel: […]
Tesis doctoral de Ruz Ortiz José Jaime
Información academica Ruz Ortiz José Jaime. Tesis donde Ruz Ortiz José Jaime ha sido autor, director o parte del tribunal.
Procesador concurrente para bases de datos
Tesis doctoral de Ruz Ortiz José Jaime Se realiza la concepcion y diseño de un procesador para gestion de bases
Control de granularidad en la ejecucion paralela de programas logicas mediante tecnicas de analisis y transformacion
Tesis doctoral de Pedro Lopez Garcia Los lenguajes de programación lógica ofrecen un excelente marco para la aplicación de tecnicas
Analisis de lenguajes logicos concurrentes mediante interpretacion abstracta.
Tesis doctoral de María Del Mar Gallardo Melgarejo En la memoria se muestran distintas aplicaciones de la tecnica de interpretación
Sistema de identificacion y explotacion de paralelismo en programas logico-funcionales.
Tesis doctoral de Fernando Saenz Perez Los lenguajes declarativos en general y los logico-funcionales en particular poseen una capacidad expresiva
Implementacion paralela de prolog sobre una arquitectura distribuida
Tesis doctoral de Lourdes Araujo Serna En este trabajo se ha desarrollado un modelo de ejecucion paralelo de los programa
Una arquitectura de integracion para sistemas inteligentes de control
Tesis doctoral de Xavier Alaman Roldan Se presenta una arquitectura de integracion para el desarrollo de sistemas inteligentes de apoyo