Experiments in abstract interpretation-based code certification for pervasive systems

Proof carrying code (PCC) is a general is originally a roof in ñrst-order logic of certain vermethodology for certifying that the execution of an un- ification onditions and the checking process involves trusted mobile code is safe. The baste idea is that the ensuring that the certifícate is indeed a valid ñrst-order code supplier attaches a certifícate to the mobile code proof. which the consumer checks in order to ensure that the The main practical difñculty of PCC techniques is in code is indeed safe. The potential benefit is that the generating safety certiñeates which at the same time: i) consumer's task is reduced from the level of proving to allow expressing interesting safety properties, ii) can be the level of checking. Recently, the abstract interpre- generated automatically and, iii) are easy and efficient tation techniques developed, in logic programming have to check. In [1], the abstract interpretation techniques been proposed as a basis for PCC. This extended ab- [5] developed in logic programming1 are proposed as stract reports on experiments which illustrate several is- a basis for PCC. They offer a number of advantages sues involved in abstract interpretation-based certifica- for dealing with the aforementioned issues. In particution. First, we describe the implementation of our sys- lar, the xpressiveness of existing abstract domains will tem in the context of CiaoPP: the preprocessor of the be implicitly available in abstract interpretation-based Ciao multi-paradigm programming system. Then, by code certification to deñne a wide range of safety propermeans of some experiments, we show how code certifi- ties. Furthermore, the approach inherits the automation catión is aided in the implementation of the framework. and inference power of the abstract interpretation en- Finally, we discuss the application of our method within gines used in (Constraint) Logic Programming, (C)LP. the área, of pervasive systems

Extension of Euskalduna Conference Centre and Concert Hall: A Contemporary Application of Irregular Reciprocal Frames

Reciprocal frame structures, formed by a set of self-supported elements in a closed circuit, have long been used since antiquity to cover large spans with small elements. The roof structure of the Euskalduna conference centre and concert hall extension in Bilbao, covering an irregu- lar geometry of 3000 m2 with a maximum span of 45 m, presented an interesting opportunity to revisit the concept and to apply these classical systems. Furthermore, its analysis and develop- ment led to an interesting discussion on reciprocal frames. They showed great sensitivity of these systems to the local modification of a particular element, establishment of irregular load paths, mobilisation of almost the entire sys- tem when locally applying a punctual load and, finally, its large deformability. Besides, reciprocal frames present particular construction complexities and possibilities due to the moderate length of the structural elements, the predominance of shear-only connec- tions and the necessity of the entire system to be completely erected to guarantee its stability. Euskalduna extension, completed in 2012, is one of the largest and a very par- ticular case of irregular reciprocal frame structures built in the world. It shows the formal possibilities and potentiality of reciprocal frames to respond to free and irregular geometries.

Tel Aviv 1932-1939 : de la experiencia en Occidente al experimento en Oriente

Tel-Aviv: años 30. La situación en Europa comienza a ser insostenible y muchos arquitectos judíos huyen a Palestina donde importan y adecuan los modelos modernos, aprendidos en el viejo continente, de hacer arquitectura. La ciudad, nacida en 1909 sobre las dunas a las afueras de Jaffa, crece vertiginosamente y se convierte en un laboratorio moderno sobre el tapiz urbano planeado por Patrick Geddes en 1925. En este trabajo, los múltiples factores arquitectónicos, sociales, culturales e históricos que llevaron a Tel Aviv a convertirse en la ciudad del mundo con más concentración de arquitectura moderna se entrelazan entre sí para perfi lar una imagen global a través de recorridos no lineales de lo acontecido en Tel Aviv durante los años 30. PALABRAS CLAVE: Tel Aviv, Movimiento Moderno Tel-Aviv. 30s The situation in Europe is becoming unsustainable and many Jewish architects fl ee to Palestine where they import the modernist way of thinking and doing architecture from the old continent. The city, born in 1909 on the dunes outside Jaffa, grows rapidly and becomes a modern laboratory over the urban tapestry planned by Patrick Geddes in 1925. In this paper, multiple architectural, social, cultural and historical factors that led Tel Aviv to become the city of the world with the highest concentration of modern architecture overlap over each other to shape a global image through non-linear paths of what happened in Tel Aviv during the 30’s.