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 Jesús Almendros Jimenez
Información academica Jesús Almendros Jimenez. Tesis donde Jesús Almendros Jimenez ha sido autor, director o parte del tribunal.
Un lenguaje de bases de datos deductivo basado en la programación lógico funcional
Tesis doctoral de Antonio Becerra Teron El objetivo de la tesis es el diseño del lenguaje de bases de datos
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