Formalizando el proceso de depuración en programación funcional paralela y perezosa.
Tesis doctoral de Alberto De La Encina Vara Un aspecto poco tratado hasta hace relativamente poco tiempo en el área […]
Tesis doctoral de rita Loogen
Información academica rita Loogen. Tesis donde rita Loogen ha sido autor, director o parte del tribunal.
Analisis de programas en lenguajes funcionales paralelos
Tesis doctoral de Segura Diaz Clara M. Las tecnicas de analisis de programas se han demostrado útiles en todo tipo
Programación funcional paralela eficiente en eden
Tesis doctoral de Fernando Rubio Diez La tesis se sitúa en el área de los lenguajes funcionales paralelos y muestra
Semánticas formales para un lenguaje funcional paralelo
Tesis doctoral de Mercedes Hidalgo Herrero El objetivo del trabajo es definir semánticas formales para un lenguaje que contiene las