Formalizando el proceso de depuración en programación funcional paralela y perezosa
Main Author: | Encina Vara, Alberto de la |
---|---|
Corporate Author: | e-libro, Corp |
Format: | Libros Digitales |
Language: | Spanish |
Published: |
Madrid :
Universidad Complutense de Madrid, Servicio de Publicaciones,
2008.
|
Subjects: | |
Online Access: | https://elibro.net/ereader/elibrounam/88990 |
Similar Items
-
Un esquema de programación lógicofuncional con restricciones: marco teórico y aplicación a la depuración declarativa : marco teórico y aplicación a la depuración declarativa /
by: Vado Vírseda, Rafael del
Published: (2009) -
Cooperación entre dominios de restricciones y estrategias de cooperación en el contexto CFLP /
by: Estévez Martín, Sonia
Published: (2015) -
Ejercicios de programación paralela con OpenMP y MPI /
Published: (2018) -
Depuración declarativa y verificación heterogénea en Maude Declarative debugging and heterogeneous verification in Maude /
by: Riesco Rodríguez, Adrián
Published: (2011) -
Teoría de funciones generalizadas /
by: Marín Antuña, José Miguel
Published: (2014)