The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems

CIAO is an advanced programming environment supporting Logic and Constraint programming. It offers a simple concurrent kernel on top of which declarative and non-declarative extensions are added via librarles. Librarles are available for supporting the ISOProlog standard, several constraint domains, functional and higher order programming, concurrent and distributed programming, internet programming, and others. The source language allows declaring properties of predicates via assertions, including types and modes. Such properties are checked at compile-time or at run-time. The compiler and system architecture are designed to natively support modular global analysis, with the two objectives of proving properties in assertions and performing program optimizations, including transparently exploiting parallelism in programs. The purpose of this paper is to report on recent progress made in the context of the CIAO system, with special emphasis on the capabilities of the compiler, the techniques used for supporting such capabilities, and the results in the áreas of program analysis and transformation already obtained with the system.

The CIAO multi-dialect compiler and system: An experimentation workbench for future (C)LP systems

Abstract is not available.

The CIAO multi-dialect compiler and system: A demo and status report

Abstract is not available

Global analysis of standard prolog programs

Abstract interpretation-based data-flow analysis of logic programs is, at this point, relatively well understood from the point of view of general frameworks and abstract domains. On the other hand, comparatively little attention has been given to the problems which arise when analysis of a full, practical dialect of the Prolog language is attempted, and only few solutions to these problems have been proposed to date. Existing proposals generally restrict in one way or another the classes of programs which can be analyzed. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially the recent ISO standard, pointing out the problems that may arise in the analysis of such a dialect, and proposing a combination of known and novel solutions that together allow the correct analysis of arbitrary programs which use the full power of the language.

Data-Flow analysis of prolog programs with extra-logical features

Abstract interpretation-based data-flow analysis of logic programs is at this point relatively well understood from the point of view of general frameworks and abstract domains. On the other hand, comparatively little attention has been given to the problems which arise when analysis of a full, practical dialect of the Prolog language is attempted, and only few solutions to these problems have been proposed to date. Such problems relate to dealing correctly with all builtins, including meta-logical and extra-logical predicates, with dynamic predicates (where the program is modified during execution), and with the absence of certain program text during compilation. Existing proposals for dealing with such issues generally restrict in one way or another the classes of programs which can be analyzed if the information from analysis is to be used for program optimization. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially following the recently proposed ISO standard, pointing out the problems that may arise in the analysis of such a dialect, and proposing a combination of known and novel solutions that together allow the correct analysis of arbitrary programs using the full power of the language.

Modelización de series temporales complejas: de las redes de telecomunicación a los mercados financieros

Este trabajo aborda el problema de modelizar sistemas din´amicos reales a partir del estudio de sus series temporales, usando una formulaci´on est´andar que pretende ser una abstracci´on universal de los sistemas din´amicos, independientemente de su naturaleza determinista, estoc´astica o h´ıbrida. Se parte de modelizaciones separadas de sistemas deterministas por un lado y estoc´asticos por otro, para converger finalmente en un modelo h´ıbrido que permite estudiar sistemas gen´ericos mixtos, esto es, que presentan una combinaci´on de comportamiento determinista y aleatorio. Este modelo consta de dos componentes, uno determinista consistente en una ecuaci´on en diferencias, obtenida a partir de un estudio de autocorrelaci´on, y otro estoc´astico que modeliza el error cometido por el primero. El componente estoc´astico es un generador universal de distribuciones de probabilidad, basado en un proceso compuesto de variables aleatorias, uniformemente distribuidas en un intervalo variable en el tiempo. Este generador universal es deducido en la tesis a partir de una nueva teor´ıa sobre la oferta y la demanda de un recurso gen´erico. El modelo resultante puede formularse conceptualmente como una entidad con tres elementos fundamentales: un motor generador de din´amica determinista, una fuente interna de ruido generadora de incertidumbre y una exposici´on al entorno que representa las interacciones del sistema real con el mundo exterior. En las aplicaciones estos tres elementos se ajustan en base al hist´orico de las series temporales del sistema din´amico. Una vez ajustados sus componentes, el modelo se comporta de una forma adaptativa tomando como inputs los nuevos valores de las series temporales del sistema y calculando predicciones sobre su comportamiento futuro. Cada predicci´on se presenta como un intervalo dentro del cual cualquier valor es equipro- bable, teniendo probabilidad nula cualquier valor externo al intervalo. De esta forma el modelo computa el comportamiento futuro y su nivel de incertidumbre en base al estado actual del sistema. Se ha aplicado el modelo en esta tesis a sistemas muy diferentes mostrando ser muy flexible para afrontar el estudio de campos de naturaleza dispar. El intercambio de tr´afico telef´onico entre operadores de telefon´ıa, la evoluci´on de mercados financieros y el flujo de informaci´on entre servidores de Internet son estudiados en profundidad en la tesis. Todos estos sistemas son modelizados de forma exitosa con un mismo lenguaje, a pesar de tratarse de sistemas f´ısicos totalmente distintos. El estudio de las redes de telefon´ıa muestra que los patrones de tr´afico telef´onico presentan una fuerte pseudo-periodicidad semanal contaminada con una gran cantidad de ruido, sobre todo en el caso de llamadas internacionales. El estudio de los mercados financieros muestra por su parte que la naturaleza fundamental de ´estos es aleatoria con un rango de comportamiento relativamente acotado. Una parte de la tesis se dedica a explicar algunas de las manifestaciones emp´ıricas m´as importantes en los mercados financieros como son los “fat tails”, “power laws” y “volatility clustering”. Por ´ultimo se demuestra que la comunicaci´on entre servidores de Internet tiene, al igual que los mercados financieros, una componente subyacente totalmente estoc´astica pero de comportamiento bastante “d´ocil”, siendo esta docilidad m´as acusada a medida que aumenta la distancia entre servidores. Dos aspectos son destacables en el modelo, su adaptabilidad y su universalidad. El primero es debido a que, una vez ajustados los par´ametros generales, el modelo se “alimenta” de los valores observables del sistema y es capaz de calcular con ellos comportamientos futuros. A pesar de tener unos par´ametros fijos, la variabilidad en los observables que sirven de input al modelo llevan a una gran riqueza de ouputs posibles. El segundo aspecto se debe a la formulaci´on gen´erica del modelo h´ıbrido y a que sus par´ametros se ajustan en base a manifestaciones externas del sistema en estudio, y no en base a sus caracter´ısticas f´ısicas. Estos factores hacen que el modelo pueda utilizarse en gran variedad de campos. Por ´ultimo, la tesis propone en su parte final otros campos donde se han obtenido ´exitos preliminares muy prometedores como son la modelizaci´on del riesgo financiero, los algoritmos de routing en redes de telecomunicaci´on y el cambio clim´atico. Abstract This work faces the problem of modeling dynamical systems based on the study of its time series, by using a standard language that aims to be an universal abstraction of dynamical systems, irrespective of their deterministic, stochastic or hybrid nature. Deterministic and stochastic models are developed separately to be merged subsequently into a hybrid model, which allows the study of generic systems, that is to say, those having both deterministic and random behavior. This model is a combination of two different components. One of them is deterministic and consisting in an equation in differences derived from an auto-correlation study and the other is stochastic and models the errors made by the deterministic one. The stochastic component is an universal generator of probability distributions based on a process consisting in random variables distributed uniformly within an interval varying in time. This universal generator is derived in the thesis from a new theory of offer and demand for a generic resource. The resulting model can be visualized as an entity with three fundamental elements: an engine generating deterministic dynamics, an internal source of noise generating uncertainty and an exposure to the environment which depicts the interactions between the real system and the external world. In the applications these three elements are adjusted to the history of the time series from the dynamical system. Once its components have been adjusted, the model behaves in an adaptive way by using the new time series values from the system as inputs and calculating predictions about its future behavior. Every prediction is provided as an interval, where any inner value is equally probable while all outer ones have null probability. So, the model computes the future behavior and its level of uncertainty based on the current state of the system. The model is applied to quite different systems in this thesis, showing to be very flexible when facing the study of fields with diverse nature. The exchange of traffic between telephony operators, the evolution of financial markets and the flow of information between servers on the Internet are deeply studied in this thesis. All these systems are successfully modeled by using the same “language”, in spite the fact that they are systems physically radically different. The study of telephony networks shows that the traffic patterns are strongly weekly pseudo-periodic but mixed with a great amount of noise, specially in the case of international calls. It is proved that the underlying nature of financial markets is random with a moderate range of variability. A part of this thesis is devoted to explain some of the most important empirical observations in financial markets, such as “fat tails”, “power laws” and “volatility clustering”. Finally it is proved that the communication between two servers on the Internet has, as in the case of financial markets, an underlaying random dynamics but with a narrow range of variability, being this lack of variability more marked as the distance between servers is increased. Two aspects of the model stand out as being the most important: its adaptability and its universality. The first one is due to the fact that once the general parameters have been adjusted , the model is “fed” on the observable manifestations of the system in order to calculate its future behavior. Despite the fact that the model has fixed parameters the variability in the observable manifestations of the system, which are used as inputs of the model, lead to a great variability in the possible outputs. The second aspect is due to the general “language” used in the formulation of the hybrid model and to the fact that its parameters are adjusted based on external manifestations of the system under study instead of its physical characteristics. These factors made the model suitable to be used in great variety of fields. Lastly, this thesis proposes other fields in which preliminary and promising results have been obtained, such as the modeling of financial risk, the development of routing algorithms for telecommunication networks and the assessment of climate change.

Onomástica, ecología y territorio. La toponimia de La Rioja como indicador biogeográfico y de la dinámica del paisaje forestal

Se presenta un trabajo de investigación toponímica en La Rioja con enfoque geobotánico. La premisa de partida es que la toponimia relacionada con especies y agrupaciones vegetales, productos forestales y usos del suelo proporciona información valiosa sobre la corología y la dinámica de la vegetación al ser clasificada y analizada con criterios biogeográficos y ecológicos. Se ha elegido la región riojana como zona piloto, al concurrir distintos tipos fisonómicos de vegetación y un conjunto muy diverso de comunidades vegetales representativas del paisaje peninsular. Se añade una larga historia de usos agrícolas en la llanura del Ebro que contrasta con la predominante actividad forestal en las zonas montañosas, en particular la potenciación de los pastos para ganadería trashumante. La Rioja tiene carácter de encrucijada no sólo fitocorológica: es también tierra de fronteras políticas y transiciones lingüísticas. En el léxico y la toponimia conviven variantes puras del castellano, rasgos del romance navarro-aragonés, elementos genuinos de una variante medieval riojana, palabras mozárabes y un numeroso y significativo elenco de topónimos de origen vasco. El trabajo se inicia con unas consideraciones epistemológicas. Se establece un planteamiento de la Toponimia como ciencia interdisciplinar, la etiología de los nombres geográficos, así como su valor apelativo descriptor de los atributos del paisaje. Se enumeran los condicionantes metodológicos de la investigación toponímica y se desarrolla una reflexión sobre las particularidades de la toponimia geobotánica. Se dedica un epígrafe a reseñar estudios precedentes de toponimia botánica y ecológica y el estado actual de conocimientos sobre la toponimia de La Rioja. La delimitación superficial de los parajes designados por los nombres geográficos es clave para un análisis orientado a detectar la correspondencia entre los elementos aludidos por el topónimo y las especies y comunidades vegetales. Las áreas de distribución y presencia, así como las transformaciones del paisaje, quedan definidas en superficies acotadas territorialmente. La metodología seguida se basa en la revisión exhaustiva de fuentes toponímicas ya existentes; destacadamente, los datos procedentes de la cartografía del Castro de Rústica, adscritos a polígonos con dimensión espacial. Las denominaciones de las parcelas catastrales se han complementado con los nombres geográficos del Diccionario de Toponimia Actual de La Rioja (DTALR) (González Blanco, 1987), el nomenclátor NomGeo del IGN, y algunas recopilaciones toponímicas municipales. De la base de datos conjunta se han seleccionado los topónimos con significado geobotánico. Se propone una taxonomía de grupos semánticos basada en categorías de estructura (arbolado, matorral, cubiertas herbáceas y áreas de vegetación escasa o rala) y en la adscripción a tipos de vegetación potencialmente dominantes, ordenados según una escala de higrofilia decreciente). También se reseñan topónimos referentes a usos y aprovechamientos en el medio rural: dehesas, ganadería, productos forestales y algunos cultivos agrícolas. El trabajo reúne en un repertorio sistemático los datos toponímicos, acopiados por comarcas y términos municipales. Se incluye la relación de nombres geográficos encontrados por campos nocionales y se comentan los nombres vernáculos que les han dado origen y su etimología. Quedan señalados los topónimos georreferenciados y asignados a entidades superficiales en la cartografía digital catastral, que se ha superpuesto a mapas forestales a escalas 1:200.000 y 1:50.000, en cuya elaboración participamos. El análisis ha permitido definir “topónimo externo” como el recinto catastral en que la especie o agrupación aludida no tiene presencia en la vegetación actual, al menos como dominante. Los topónimos externos más significativos de cada grupo han sido analizados describiendo la cubierta vegetal actual correspondiente, lo que permite interpretar, junto con las características fisiográficas del paraje, las causas posibles de ausencia del elemento aludido, teniendo en cuenta criterios generales de mesología, de dinámica de la vegetación y de la historia de la acción humana. El trabajo se cierra con un capítulo de conclusiones generales, conceptuales y metodológicas, así como una relación de líneas de profundización de la investigación que quedan apuntadas. Se completa con una relación de fuentes y referencias bibliográficas fundamentales. ABSTRACT This paper presents a study of the toponymy of La Rioja with a specific focus on place names reflecting the region’s geobotany. Its underlying premise is that the toponymy associated with plant species and communities, forest products and land uses can provide valuable information about the chorology and vegetation dynamics when classified and analysed using biogeographical and ecological criteria. La Rioja has been chosen for this pilot study because it concentrates vegetation types of distinct physiognomy and a highly diverse set of plant communities that can be considered representative of the vegetation of the peninsula’s landscapes. This combines with a long history of different agricultural uses on the Ebro plain that contrast with the predominance of forestry activity in the more mountainous areas, in particular the promotion of pasture for livestock transhumance. Indeed, La Rioja is not only a crossroads in terms of its phytochorology, but it is also a land of political boundaries and language transitions. Coexisting in its lexicon and toponymy, we find pure Castilian variants, features from the Romance language of Navarro-Aragonese, genuine elements of the medieval variant of the Riojan dialect, words of Mozarabic and a large and significant list of place names of Basque origin. The paper begins by outlining a number of epistemological considerations and establishes an interdisciplinary approach to toponymy, the aetiology of geographical names, and their value in the descriptive naming of the features of a landscape. It continues by enumerating the methodological determinants of toponymic research and reflects on the specific characteristics of geobotanical toponyms. The next section is dedicated to examining previous studies of botanical and ecological place names and providing a state-of-the-art review of the toponymy of La Rioja. Delimiting the sites designated by the geographical names is essential to any analysis designed to detect the correspondence between the elements alluded to by the toponyms and plant species and communities. These areas of distribution and presence, as well as the landscape changes, are defined in terms of spatially delimited surface areas. The methodology adopted involves an exhaustive review of existing toponymic sources; in particular, data obtained from the maps of the Rustic Cadastre, assigned to spatial polygons. The names of these cadastral parcels are complemented by the geographical names taken from the Diccionario de Toponimia Actual de La Rioja (DTALR) (González Blanco, 1987); the gazetteer – NomGeo, published by Spain’s Instituto Geográfico Nacional; and, various municipal list of toponyms. Place names with a geobotanical meaning were then selected from this joint database. The paper proposes a taxonomy of semantic groups based on structural categories (namely wooded areas, brushland, grassy areas and areas of scanty or sparse vegetation) and assignment to the potentially dominant type of vegetation (ordered on a scale of decreasing hygrophilic trends). Place names referring to land uses and practices in rural areas – including, pasture, livestock, forest products and some agricultural crops – are also described. The study produces a systematic list of toponyms ordered by counties and municipalities. The geographical names are organised by notional fields and the vernacular names that have given rise to them and their etymology are discussed. The toponyms are georeferenced and assigned to surface elements on the digital cadastral map, superimposed on forest maps at scales of 1:200,000 and 1:50,000, in the production of which the authors participated. The analysis has allowed us to define “external toponyms” as those cadastral parcels in which the plant species or group alluded to is no longer present in the vegetation, at least as the dominant type. The most significant external toponyms in each group have been analysed by describing the corresponding, present-day vegetation cover, which allows us to interpret, along with the physiographic features of the site, the possible causes of the absence of the aforementioned element, bearing in mind general criteria of mesology, vegetation dynamics and the history of human action. The paper finishes by offering a number of general conceptual and methodological conclusions, and a list of areas that future research can usefully examine. The study is supplemented with a list of sources and key references.