El siguiente libro gratuito está dirigido para todas aquellas personas interesadas en aprender sobre la reescritura.
Sobre el Libro (Por el Autor)
En el ámbito de los lenguajes de programación es habitual considerar que un lenguaje es determinista cuando la evaluación de una expresión dada siempre calcula los mismos valores para la misma configuración de sus valores de entrada.
Así la mayoría de los lenguajes imperativos (Pascal, C/C++, Java, C#, …) son considerados deterministas.
Sin embargo es muy sencillo diseñar un programa en cualquiera de aquellos lenguajes para el que ya no se cumpla dicha condición. Por un lado podemos generar números aleatorios o simplemente obtener la hora actual del reloj del sistema y presentar cualquiera de ellos como la salida de un programa sin argumentos de entrada, obteniendo por tanto resultados diferentes para distintas ejecuciones del programa.
De esta forma el determinismo se pierde durante la interacción con el sistema operativo, o “el mundo exterior”, que no es modelado explícitamente en los programas. Por otra parte también podemos escribir un programa concurrente para el que el orden en el que cada proceso concurrente termina su tarea correspondiente no pueda ser predicho, y además definir la salida del programa de forma que esta sea dependiente del orden de finalización de dichos procesos.
En este trabajo hemos intentado hacer algunas contribuciones al campo de la programación lógico-funcional indeterminista.
Nuestros objetivos son diversos, a menudo al nivel de las descripciones semánticas, donde tratamos de aportar construcciones y resultados que esperamos puedan ser de utilidad para profundizar en la comprensión del significado de los programas, o como herramientas para la manipulación, análisis y transformación de programas. También nos hemos ocupado de aspectos más prácticos, y algunos prototipos han sido desarrollados a consecuencia de ello.
Unas veces trabajamos en un marco consolidado —concretamente call-time choice o run-time choice— mientras que otras hemos decidido explorar las capacidades expresivas de las funciones indeterministas proponiendo nuevos marcos semánticos, algunos de ellos surgiendo de la combinación de semánticas ya existentes, otros presentando propuestas semánticas más novedosas.
Contenido (Temas)
- Resumen de la Investigación
- Publicaciones Asociadas a la Tesis
- Versiones Extendidas
- Bibliografía
Ficha Técnica
Año: 2010
Editor: Universidad Complutense de Madrid
Idioma: Español
Tamaño: 6849 KB
Licencia: Pendiente de revisión
Acerca de OpenLibra
OpenLibra busca reunir bajo una misma plataforma el mayor número de publicaciones libres posible. Esto implica una serie de riesgos en cuanto a los contenidos que han de asumirse y sobre los que queremos informar a nuestros usuarios.
En OpenLibra, los libros son responsabilidad exclusiva de sus autores. Esto significa que OpenLibra, no puede garantizar la validez de sus contenidos.
Preguntas Frecuentes
¿Qué quiere decir Biblioteca Libre?
Quiere decir que todos los libros que la componen están licenciados bajo alguno de los muchos tipos de licencia libre que existen y que, por tanto, el autor da su autorización para su reproducción y redistribución.
¿Son entonces todos los libros de esta biblioteca gratis?
Sí; al menos para su versión digital. Muchos autores, además, ofrecen la versión impresa (ya sea directamente o a través del circuito comercial habitual) por la que pueden cobrar lo que estimen oportuno.
Pero algunos de los libros que hay en la Biblioteca tienen Copyright…
El copyright y las licencias libres no son excluyentes. De hecho, las segundas se basan en la legislación sobre la primera para otorgar los derechos de copia y distribución. Es por eso que toda obra bajo una licencia libre, posee un copyright que garantiza la voluntad de su autor. Lo importante es qué permite ese copyright con respecto a la obra licenciada.
Pues he visto algún libro por aquí que tiene un Copyright y un ‘todos los derechos reservados’.
Cierto; en estos casos, lo más habitual es que la editorial haya devuelto los derechos de explotación al autor. Suele ocurrir con los manuales técnicos una vez pasado un tiempo prudencial o, por ejemplo, cuando se han agotado las ediciones impresas y no se pretende una reedición. Una vez los autores vuelven a tener el control, pueden ceder su trabajo al dominio público o permitir su redistribución libre para volver a poner su obra en circulación.
Si los libros son libres y gratis, ¿puedo hacer con ellos lo que quiera? ¿Los puedo imprimir, traducir y/o vender?
No; no puedes hacer aquello que su licencia no permita. Cómo se explica en el enlace de más arriba, algunas licencias solo permiten la descarga y redistribución sin ánimo de lucro. Si por ejemplo, quieres traducir la obra y editarla de forma ordinaria, algunos autores te exigirán que pagues los derechos pertinentes.
Descarga el Libro
Si te interesaron los temas, te dejamos aquí abajo el enlace de descarga.
¿Quieres Más?
Encuentra cursos y libros gratuitos, además de cupones de Udemy, en nuestros Telegram.
