Relational and Allegorical Semantics for Constraint Logic Programming

El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de primer orden, la lógica de orden superior así como la teoría de conjuntos. A partir de los resultados matemáticos de Tarski y Freyd, esta tesis desarrolla semánticas denotacionales y operacionales para la programación lógica con restricciones usando el álgebra relacional como base. La idea principal es la utilización del concepto de semántica ejecutable, semánticas cuya característica principal es el que la ejecución es posible utilizando el razonamiento estándar del universo semántico, este caso, razonamiento ecuacional. En el caso de este trabajo, se muestra que las álgebras relacionales distributivas con un operador de punto fijo capturan toda la teoría y metateoría estándar de la programación lógica con restricciones incluyendo los árboles utilizados en la búsqueda de demostraciones. La mayor parte de técnicas de optimización de programas, evaluación parcial e interpretación abstracta pueden ser llevadas a cabo utilizando las semánticas aquí presentadas. La demostración de la corrección de la implementación resulta extremadamente sencilla. En la primera parte de la tesis, un programa lógico con restricciones es traducido a un conjunto de términos relacionales. La interpretación estándar en la teoría de conjuntos de dichas relaciones coincide con la semántica estándar para CLP. Las consultas contra el programa traducido son llevadas a cabo mediante la reescritura de relaciones. Para concluir la primera parte, se demuestra la corrección y equivalencia operacional de esta nueva semántica, así como se define un algoritmo de unificación mediante la reescritura de relaciones. La segunda parte de la tesis desarrolla una semántica para la programación lógica con restricciones usando la teoría de alegorías—versión categórica del álgebra de relaciones—de Freyd. Para ello, se definen dos nuevos conceptos de Categoría Regular de Lawvere y _-Alegoría, en las cuales es posible interpretar un programa lógico. La ventaja fundamental que el enfoque categórico aporta es la definición de una máquina categórica que mejora e sistema de reescritura presentado en la primera parte. Gracias al uso de relaciones tabulares, la máquina modela la ejecución eficiente sin salir de un marco estrictamente formal. Utilizando la reescritura de diagramas, se define un algoritmo para el cálculo de pullbacks en Categorías Regulares de Lawvere. Los dominios de las tabulaciones aportan información sobre la utilización de memoria y variable libres, mientras que el estado compartido queda capturado por los diagramas. La especificación de la máquina induce la derivación formal de un juego de instrucciones eficiente. El marco categórico aporta otras importantes ventajas, como la posibilidad de incorporar tipos de datos algebraicos, funciones y otras extensiones a Prolog, a la vez que se conserva el carácter 100% declarativo de nuestra semántica. ABSTRACT The calculus of binary relations was introduced by De Morgan in 1860, to be greatly developed by Peirce and Schröder, as well as many others in the twentieth century. Using different formulations of relational structures, Tarski, Givant, Freyd, and Scedrov have shown how relation algebras can provide a variable-free way of formalizing first order logic, higher order logic and set theory, among other formal systems. Building on those mathematical results, we develop denotational and operational semantics for Constraint Logic Programming using relation algebra. The idea of executable semantics plays a fundamental role in this work, both as a philosophical and technical foundation. We call a semantics executable when program execution can be carried out using the regular theory and tools that define the semantic universe. Throughout this work, the use of pure algebraic reasoning is the basis of denotational and operational results, eliminating all the classical non-equational meta-theory associated to traditional semantics for Logic Programming. All algebraic reasoning, including execution, is performed in an algebraic way, to the point we could state that the denotational semantics of a CLP program is directly executable. Techniques like optimization, partial evaluation and abstract interpretation find a natural place in our algebraic models. Other properties, like correctness of the implementation or program transformation are easy to check, as they are carried out using instances of the general equational theory. In the first part of the work, we translate Constraint Logic Programs to binary relations in a modified version of the distributive relation algebras used by Tarski. Execution is carried out by a rewriting system. We prove adequacy and operational equivalence of the semantics. In the second part of the work, the relation algebraic approach is improved by using allegory theory, a categorical version of the algebra of relations developed by Freyd and Scedrov. The use of allegories lifts the semantics to typed relations, which capture the number of logical variables used by a predicate or program state in a declarative way. A logic program is interpreted in a _-allegory, which is in turn generated from a new notion of Regular Lawvere Category. As in the untyped case, program translation coincides with program interpretation. Thus, we develop a categorical machine directly from the semantics. The machine is based on relation composition, with a pullback calculation algorithm at its core. The algorithm is defined with the help of a notion of diagram rewriting. In this operational interpretation, types represent information about memory allocation and the execution mechanism is more efficient, thanks to the faithful representation of shared state by categorical projections. We finish the work by illustrating how the categorical semantics allows the incorporation into Prolog of constructs typical of Functional Programming, like abstract data types, and strict and lazy functions.

Visualizador de programas Java concurrentes

El presente trabajo fin de grado, que, a partir de ahora, denominaré TFG, consiste en elaborar una monitorización de programas concurrentes en lenguaje Java, para que se visualicen los eventos ocurridos durante la ejecución de los dichos programas. Este trabajo surge en el marco de la asignatura “Concurrencia” de la Escuela Técnica Superior de Ingeniería Informática de la Universidad Politécnica de Madrid, impartida por D. Julio Mariño y D. Ángel Herranz. El objetivo principal de este proyecto es crear una herramienta para el aprendizaje de la asignatura de concurrencia, facilitando la comprensión de los conceptos teóricos, de modo que puedan corregir los posibles errores que haya en sus prácticas. en este proyecto se expone el desarrollo de una librería de visualización de programas concurrentes programados en Java usando un formalismo gráfico similar al empleado en la asignatura. Además esta librería da soporte a los mecanismos de sincronización usados en las prácticas de la asignatura: la librería Monitor (desarrollada por los profesores de la asignatura, D. Ángel Herranz y D. Julio Mariño) y la librería JCSP (Universidad de Kent). ---ABSTRACT---This Bachelor Thesis addresses the problem of monitoring a Java program in order to trace and visualize a certain set of events produced during the execution of concurrent Java programs. This work originates in the subject "Concurrency" of the Computer Science and Engineering degree of our University. The main goal of this work is to have a tool that helps students learning the subject, so they can better understand the core concepts and correct common mistakes in the course practical work. We have implemented a library for visualizing concurrent Java programsusing a graphical notation similar to the one used in class, which supports the design of concurrent programs whose synchronization mechanisms are either monitors(using the Monitor package) or CSP(as implemented in the JCSP library from Kent University).

Prólogo de Bóvedas: su construcción y empleo en la arquitectura por H. J. W. Thunnissen

H. J. W. Thunnissen (1890-1978) fue un arquitecto-ingeniero holandés que, desde los inicios de su carrera profesional en los años 1910-20 optó por una arquitectura abovedada. Hasta la Segunda Guerra mundial construyó bóvedas y realizó estudios sobre construcciones abovedadas históricas. Durante la guerra su negativa a colaborar con los nazis le obligó a un paro forzoso. Decide, entonces, publicar un libro sobre bóvedas, su gran pasión. Desde 1942 hasta su publicación en 1950 trabaja intensamente en su redacción y en el dibujo de las láminas. La mayor parte del libro está dedicada a la historia de las bóvedas, pero no es un libro de historia. Es un libro escrito por un arquitecto que cree firmemente que la construcción abovedada debe formar parte de la arquitectura. El estudio de los grandes monumentos del pasado, es el camino para alcanzar el verdadero objetivo que es la maestría en el arte de abovedar.

Julio Cano Lasso en Fuentelarreina. Ciudad histórica, arquitectura popular y sustentabilidad

El objetivo de esta investigación es el análisis del método utilizado en los proyectos de Julio Cano Lasso y la búsqueda de relaciones de su obra con referencias externas a ella que ejemplifiquen lo que hemos denominado "método referencial" dentro de su metodología proyectual global. Este método referencial, que se relaciona claramente con modelos no lineales de creación como el "Atlas Mnemosyne" de Aby Warburg, los "PassagenWerk" de Walter Benjamin o el Teatro de la Memoria? de Giulio Camillo, es utilizado por el arquitecto no sólo de forma icónica, como catalizador del proyecto, sino también de forma instrumental, extrayendo de la referencia en cuestión estrategias válidas para su aplicación en la actividad proyectual. Para este fin, se utiliza el análisis comparativo a distintos niveles entre las herramientas usadas por Julio Cano Lasso en los sucesivos proyectos realizados, junto con Juan Antonio Ridruejo, entre los años 1968 y 1976 para las Oficinas Centrales de Telefónica en Fuentelarreina, Madrid. Estos tres proyectos, con un programa que va variando con el tiempo en distintas localizaciones dentro de una extensa parcela, se desarrollan partiendo de esquemas organizativos completamente diferentes. Paradójicamente, es debido a la aplicación de los mismos instrumentos proyectuales, obtenidos de la referencia a las ciudades históricas y a la arquitectura popular, como son la gradación en la tensión entre fragmentación y unidad, la dialéctica entre el edificio y el paisaje y la sustentabilidad como herramienta proyectual, por lo que resultan completamente diversos en el nivel morfológico. Los sucesivos proyectos presentan opciones antagónicas en el tratamiento de espacios abiertos y volúmenes construidos, en las posibilidades y formas de ampliación, en la materialidad, en la relación entre el interior y el exterior del propio edificio, en su diálogo con el contexto físico y en su orden geométrico. En cambio resultan completamente convergentes en su lectura exterior como edificios-ciudad y en su tratamiento de los sistemas de acondicionamiento climático tanto pasivos, derivados de la referencia a la arquitectura popular, como basados en la técnica, como principales generadores de la forma arquitectónica. Estas características, refiriéndonos a proyectos de esa época, fortalecen su vigencia como precursores del actual auge del paradigma termodinámico en arquitectura. Además, este tipo de referencia dentro de los "campos semánticos" manejados por Julio Cano Lasso, tiene la característica especial de utilizar un elemento mediador; la elaboración de los dibujos, que presentan distintos momentos de desarrollo en el tiempo de varias ciudades históricas. Los dibujos realizados a lo largo de sus años de ejercicio profesional, muchos de ellos publicados en su libro ?La ciudad y su paisaje? se convierten en el verdadero icono referencial del proyecto, pasando éste a ser un caso único de elaboración de la propia referencia por parte del arquitecto.

La invención en la obra de Julio Lafuente: entre la utopía y la construcción

La obra de Julio Lafuente es extraordinariamente abundante y heterogenea, de un experimentalismo tan admirable en casos particulares como difícilmente caracterizable en su conjunto. El inventario ha revelado la existencia de más de 360 proyectos, de los que cerca de 200 están construidos, e incluye obras de arquitectura, urbanismo, escenografía y mobiliario, muchas de ellas reconocidas internacionalmente y profusamente publicadas entre 1950 y 1980. Es decir, nos encontramos ante un panorama de producción, divulgación y reconocimiento de su obra en el pasado reciente que contrasta con el actual desconocimiento de la misma. Situación que esta tesis doctoral pretende revertir. La investigación se articula en dos partes. La primera de ellas constituye el núcleo argumental y se compone de cuatro capítulos que permiten comprender el carácter de la obra de Julio Lafuente: su biografía profesional, una panorámica contextualizada de su obra, el estudio en profundidad de dos obras escogidas y la revisión transversal de los aspectos más relevantes en su arquitectura. Este primer volumen incluye dos capítulos adicionales: una bibliografía exhaustiva de sus obras y la traducción de publicaciones específicas coetáneas, recogidas en un anexo. La segunda parte consiste en una catalogación de la obra de Julio Lafuente, inexistente hasta la fecha, desarrollada por la autora en paralelo a su participación en la realización del Archivo de Julio Lafuente en Roma, lo que ha facilitado el acceso directo a la documentación original. Una revisión panorámica de diversas obras de Lafuente en relación con otras obras y corrientes de pensamiento coetáneas ha permitido comprender la pertenencia inequívoca de la obra de Julio Lafuente a su contexto: fundamentalmente, la Italia del período comprendido entre 1950 y 1980, un contexto del que se nutre y al que contribuye sin descanso. La mayor parte de la abundante obra arquitectónica de Lafuente se dedica al desarrollo de edificios de vivienda, normalmente construidos en los ensanches de Roma. En el conjunto de esta prolija trayectoria sobresalen, sin embargo, algunos logros extraordinarios que han permitido apoyar el desarrollo argumental de la investigación. Entre ellos, se han escogido para su estudio en profundidad dos obras —el hotel en la roca (1967), en Gozo (Malta) y el hipódromo de Tor di Valle (1959), en Roma—, que constituyen sendos casos singulares en los que Lafuente alcanza las cotas más altas de coherencia, significación y calidad arquitectónica, y que caracterizan el marco en el que se desarrolla la investigación: entre la utopía y la construcción. Al mismo tiempo, se trata de dos obras complementarias que llevan al extremo algunos de los aspectos a los que Julio Lafuente presta más atención en el conjunto de su obra, como la relación con el lugar, la invención estructural o el cuidado de los detalles constructivos. Estos rasgos se han revisado de un modo transversal en el último capítulo, incidiendo en algunos casos particulares que, a modo de metonimia, han permitido tomar la parte por el todo. La investigación confirma el compromiso de la obra de Lafuente con la lógica constructiva, si bien la componente idealizada se reconoce, aunque en un tono menor respecto al empeño constructivo, en una gran parte su arquitectura. Esta tendencia a la idealización es, posiblemente, una de las razones que ha llevado a quienes hasta hoy han escrito sobre su obra, a especular con las ideas de invención y utopía en la arquitectura de Julio Lafuente. El catálogo inédito de la obra de Julio Lafuente constituye la segunda parte de la tesis doctoral y permite realizar consultas posteriores que puedan dar continuidad a la investigación aquí iniciada. ABSTRACT The architectural work of Julio Lafuente is extraordinary wide and heterogeneous, of so admirable experimentalism in particular cases as difficult to be characterized as a whole. The inventory of his work has revealed the existence of more than 360 projects, of which about 200 are built, including works of architecture, urban planning, scenery and furniture, many of which were internationally recognized and widely published between 1950 and 1980. This overview of production, spread and recognition of his work in the recent past hugely contrasts with the current lack of knowledge of it. Situation that this PhD thesis aims to reverse. The thesis is divided into two parts. The first part is the core argument and comprises four sections that provide insights into the nature of the work of Julio Lafuente: professional biography, a contextualized view of his work, in-depth study of two selected works and cross review of the most relevant aspects in his architecture. This volume includes an exhaustive bibliography and translation of contemporaneous specific publications, incorporated in an annex. The second part consists of a catalog of the work of Julio Lafuente, non-existent to date, developed in parallel with the participation of the author in the making process of the Archive of Julio Lafuente in Rome, which has provided access to the original documentation. Research develops a wide-ranging approach to the architecture of Julio Lafuente in its context. To this purpose, various of his works have been reviewed in relation to other contemporary works, which have revealed a direct attachment of Lafuente’s work to its context: mainly Italy, for the period between 1950 and 1980. Most of his wide architectural work is related to housing projects, usually built in the extensions of Rome. In this broad regular work, however, highlight some outstanding achievements which have given support to the research argumental line. Among them, two works have been selected for an in-depth study: the hotel in the Maltese rock of Gozo (1967) and the Tor di Valle racecourse building (1959) in Rome. Both are individual cases in which Lafuente reaches the highest levels of coherence, significance and architectural quality, and both characterize the frame in which this research takes place: between utopia and construction. These selected projects are two complementary works that embody some of the aspects to which Julio Lafuente pays more attention, such as the experiencing of place, the structural invention or concern for construction details, among others. These features have been reviewed through a transversal regard in the last chapter, focusing on some particular cases, in the way in which metonymy is used, allowing to take the part for the whole. Research confirms that the work of Julio Lafuente stands out for its commitment to construction logic, while the idealized component is recognized, although in a minor key with respect to constructive engagement, in most of his architecture from the beginning to his latest proposals. This tendency to idealization is probably one of the reasons that has often led to those who have written about him, to speculate on the ideas of invention and utopia in the work of Julio Lafuente. The unpublished catalog of the work of Julio Lafuente, which constitutes the second part of the thesis, presents the architectural work of Julio Lafuente and allows further research that could continue the one started here.