Programacion declarativa con restricciones sobre tipos de datos algebraicos.
Tesis doctoral de Purificacion Arenas Sanchez El objetivo principal de esta tesis es introducir constructoras de datos algebraicas y restricciones […]
Tesis doctoral sobre Teoría de la programacion
Accede a todas las tesis doctorales sobre Teoría de la programacion mas relevantes.
El modelo de computacion colectiva: una metodología eficiente para la ampliacion del modelo de libreria de paso de mensajes con paralelismo de datos anidado.
Tesis doctoral de Francisco De Sande González En esta memoria de tesis se propone el modelo de computación colectiva, un
An algebraic study of modularity in logic programming.
Tesis doctoral de Elvira Pino Blanco Datos académicos de la tesis doctoral «An algebraic study of modularity in logic
Estudio y realizacion de un entorno integrado avanzado de programacion.
Tesis doctoral de Gomez Del Rincon M. Pilar La tesis se enmarca en el proceso de edición de programas, aportando
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
Persistencia completa para un sistema operativo orientado a objetos usando una maquina abstracta con arquitectura reflectiva.
Tesis doctoral de Dario Alvarez Gutierrez La adopción del paradigma de la orientación a objetos no se produce de manera
Aplicacions distribuides sobre memoria compartida: suport i analisi formal.
Tesis doctoral de Jordi Bataller Mascarell Datos académicos de la tesis doctoral «Aplicacions distribuides sobre memoria compartida: suport i
Verificacio automatica de programes basada en semantica de comportament i logica de primer ordre: el metodo alice.
Tesis doctoral de Palasi Lallana Vicent Ramon Se presenta un metodo de verificacion automatica llamado alice (algebraic inference of the
Programacion en paralelo y tecnicas algoritmicas.
Tesis doctoral de Garcia Lopez Felix Cesar El trabajo aborda la paralelizacion de tres de las tecnicas algoritmicas mas importantes
Jugando con el tiempo.
Tesis doctoral de Llana Diaz Luis Fernando En el presente trabajo hemos estudiado la semantica de pruebas para algebras de