Un sistema de ejecucion distribuido para lenguajes orientados a objetos concurrentes.
Tesis doctoral de Antonio Jesús Nebro Urbaneja Esta tesis se enmarca en el ámbito de los lenguajes orientados a objetos […]
Tesis doctoral sobre Lenguajes de programacion
Accede a todas las tesis doctorales sobre Lenguajes de programacion mas relevantes.
Sistemas de tipos puros con universos.
Tesis doctoral de Blas Carlos Ruiz Jimenez Los sistemas de tipo puros con universos propuestos en esta tesis permiten modelar
Analisis y diseño de algoritmos geneticos paralelos distribuidos.
Tesis doctoral de Enrique Alba Torres Esta tesis se enmarca en el campo de investigación de los algoritmos genéticos paralelos
Un algebra de modulos reflexiva con aplicaciones al lenguaje maude.
Tesis doctoral de Francisco Javier Duran Muñoz En esta tesis hemos definido un álgebra de módulos extensible para la lógica
Dynamic scheduling of parallel applications on shared-memory multiprocessors.
Tesis doctoral de Xavier Martorell Bofill Datos académicos de la tesis doctoral «Dynamic scheduling of parallel applications on shared-memory
Uol: an object-oriented software development language.
Tesis doctoral de Alonso Joaquin Peralta Gimenez Datos académicos de la tesis doctoral «Uol: an object-oriented software development language.«
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
Programacion logico-funcional con tipos parametricos y generos ordenados.
Tesis doctoral de Jesús Almendros Jimenez Presentamos un lenguaje lógico-funcional con subtipos en el que las reglas de programa consisten
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
Observadores lineales: un lenguaje de especificacion de propiedades para verificacion de protocolos.
Tesis doctoral de Pedro Merino Gomez La verificación de protocolos es una actividad fundamental para localizar errores de diseño y