Implementation of an event driven scheme for visualizing parallel execution of logic programs.

This article presents in an informal way some early results on the design of a series of paradigms for visualization of the parallel execution of logic programs. The results presented here refer to the visualization of or-parallelism, as in MUSE and Aurora, deterministic dependent and-parallelism, as in Andorra-I, and independent and-parallelism as in &-Prolog. A tool has been implemented for this purpose and has been interfaced with these systems. Results are presented showing the visualization of executions from these systems and the usefulness of the resulting tool is briefly discussed.

Housing plans and urban rehabilitation in Spain, 1992-2012

This paper explores the urban rehabilitation projects promoted by the Spanish Government between 1992 and 2012 through housing plans. The analysis is based on the comparison of programmes and estimations gathered in these plans with actual housing production within this period in order to find the connection between sectoral housing planning and real estate cycles in these last twenty years. During the period under review, six state housing plans, that were mainly focused on the promotion of newly-constructed state-subsidised housing, were developed, including the Areas of Integrated Rehabilitation programmes (ARI programmes). In spite of the relevance and growing complexity of these programmes, these played a subsidiary role in the government housing policy and were insignificant regarding the whole real estate production in this period.