Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales
Tesis doctoral de Rafael Caballero Roldan La falta de herramientas auxiliares tales como depuradores o entornos gráficos ha sido señalada […]
Tesis doctoral de Manuel Hermenegildo Salinas
Información academica Manuel Hermenegildo Salinas. Tesis donde Manuel Hermenegildo Salinas ha sido autor, director o parte del tribunal.
Un sistema de programacion logica extensible y con soporte para analisis global (an extensible, global analysis friendly logic programming system)
Tesis doctoral de Daniel Cabeza Gras El objetivo de esta tesis doctoral es diseñar y desarrollar un sistema de programación
Aportaciones al estudio del paralelismo y la concurrencia en la programación lógica
Tesis doctoral de Manuel Carro Liñares En esta tesis se estudian medios para solventar algunos de los problemas de la
Dfl, computacion funcional distribuida
Tesis doctoral de Victor M. Gulias Fernandez La investigación se centra en la explotación de la programación concurrente funcional sobre
Pragmatica de la sintesis de programas lógicos
Tesis doctoral de David Robert Son Esta tesis trata de nuevas formas de usar métodos de síntesis estructural para especificaciones
Modelos flexibles de conocimiento estructurado para soporte de interfaces inteligentes para ayuda a la decision.
Tesis doctoral de Hernandez Diego Josefa Zuleide Esta tesis aborda el problema de enriquecer el nivel de interacción entre los
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
Strplan: planificacion multiagente en dominios estructurados.
Tesis doctoral de Rafael Berlanga Llavorí La presente memoria de tesis presenta el desarrollo de un nuevo planificador fundamentado, denominado
Contribucion al estudio funcional de las sociedades artificiales de agentes: coordinacion emergente de agentes autonomos para la resolucion de problemas.
Tesis doctoral de Dirk Sascha Ossowski La coordinacion es el nexo entre las actividades de agentes software autonomos y una
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