Contribuciones topologicas y algebraicas a los metodos formales en programacion declarativa.
Tesis doctoral de Andres Bujosa Brun Las contribuciones de la presente tesis doctoral pueden clasificarse en contribuciones topologicas y contribuciones […]
Tesis doctoral sobre Lenguajes de programacion
Accede a todas las tesis doctorales sobre Lenguajes de programacion mas relevantes.
Definicion de un modelo concurrente orientado a objetos. agentes para sistemas multiagente
Tesis doctoral de Tomas Dominguez Minguez El presente trabajo define un modelo de agente generico, una arquitectura software y un
Una aproximacion a la programacion logica con funciones indeterministas.
Tesis doctoral de Antonio Sarmiento Escalona La memoria es un intento de integracion de programacion logica y funcional derivado del
Lenguaje formal para la automatizacion de programas estructurados
Tesis doctoral de Garcia De Diego Barber M. Teresa Datos académicos de la tesis doctoral «Lenguaje formal para la
«aportaciones metodologicas en la sintesis, visualizacion y simulacion de algoritmos para arquitecturas paralelas regulares».
Tesis doctoral de Angel Sanchez Calle Datos académicos de la tesis doctoral ««aportaciones metodologicas en la sintesis, visualizacion y
Entornos operativos funcionales
Tesis doctoral de Alberto Lafuente Rojo Datos académicos de la tesis doctoral «Entornos operativos funcionales« Título de la tesis:
Realizacion de un lenguaje de simulacion con bloque mimo.
Tesis doctoral de Fuente Redondo Pablo De La Datos académicos de la tesis doctoral «Realizacion de un lenguaje de
Un lenguaje para el diseño y validacion de especificaciones algebraicas.
Tesis doctoral de Ines Clerici Silvia Datos académicos de la tesis doctoral «Un lenguaje para el diseño y validacion
Extension de los lenguajes cientificos para su uso en algoritmos paralelos y vectoriales.
Tesis doctoral de Félix García Merayo Datos académicos de la tesis doctoral «Extension de los lenguajes cientificos para su
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: