The CIAO multiparadigm compiler and system: A progress report

Abstract is not available

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

Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.

The concept of independence has been recently generalized to the constraint logic programming (CLP) paradigm. Also, several abstract domains specifically designed for CLP languages, and whose information can be used to detect the generalized independence conditions, have been recently defined. As a result we are now in a position where automatic parallelization of CLP programs is feasible. In this paper we study the task of automatically parallelizing CLP programs based on such analyses, by transforming them to explicitly concurrent programs in our parallel CC platform (CIAO) as well as to AKL. We describe the analysis and transformation process, and study its efficiency, accuracy, and effectiveness in program parallelization. The information gathered by the analyzers is evaluated not only in terms of its accuracy, i.e. its ability to determine the actual dependencies among the program variables, but also of its effectiveness, measured in terms of code reduction in the resulting parallelized programs. Given that only a few abstract domains have been already defined for CLP, and that none of them were specifically designed for dependency detection, the aim of the evaluation is not only to asses the effectiveness of the available domains, but also to study what additional information it would be desirable to infer, and what domains would be appropriate for further improving the parallelization process

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

Abstract is not available

RDF Querying

Reactive Web systems, Web services, and Web-based publish/ subscribe systems communicate events as XML messages, and in many cases require composite event detection: it is not sufficient to react to single event messages, but events have to be considered in relation to other events that are received over time. Emphasizing language design and formal semantics, we describe the rule-based query language XChangeEQ for detecting composite events. XChangeEQ is designed to completely cover and integrate the four complementary querying dimensions: event data, event composition, temporal relationships, and event accumulation. Semantics are provided as model and fixpoint theories; while this is an established approach for rule languages, it has not been applied for event queries before

Epistemology Revisited: A Feminist Critique

The Platonic legacy of Western epistemology has been severely attacked for its dominant exclusivist and coercive rationality in the discourses of anti-foundationalism and anti-representationalism, which have also given rise to several alternative epistemologies. The feminist discourse challenges the exclusivist and appropriationist logic of Western epistemology, or science, for being highly gender-biased and oppressive. Weininger’s remark that ‘No woman is really interested in science, she may deceive herself and many good men, but bad psychologists, by thinking so’ is one of such silencing masculine diktats that have deeper roots in the sexist, racist and classist biases. The feminists’ revolts against the power/knowledge dynamics and subsequent epistemological directions emerge from a reflexive undertaking into the nature and production of knowledge. The paper examines the objectivity debates within the feminist science circles in this regard and explores the space between the oppressive dichotomies of nature/culture, core/peripheral, absolute/historical to articulate an alternative epistemology in the feminists’ larger political program of social justice

Social imaginaries, structuration, learning, and collibration:their role and limitations in governing complexity

My contribution to this special issue of Zarządzanie Publiczne (Public Governance) undertakes five tasks: (1) present the key concepts for an analysis of complexity and its reduction through semiosis and structuration; (2) elaborate the notions of lived experience (tied to personal identity or consciousness), social imaginary, and ideology (which involves more than social imaginaries); (3) introduce the key concepts for the study of structuration, including spatio-temporal fix, structural coupling, and ecological dominance; (4) introduce the notion of learning as a crucial mediation between lived experience and social structuration; and (5) show how different forms of coordination of complex interdependence have developed to address these problems, how they fail, and how individual and social agents seek to address governance failure through new forms of imaginary and new efforts at collibration. My contribution ends with some remarks on a research agenda based on these arguments and a practical agenda oriented to better governance based on ‘romantic public irony’ as a way of ‘going on’ in a deeply complex world

Topological Equivalence and Similarity in Multi-Representation Geographic Databases

Geographic databases contain collections of spatial data representing the variety of views for the real world at a specific time. Depending on the resolution or scale of the spatial data, spatial objects may have different spatial dimensions, and they may be represented by point, linear, or polygonal features, or combination of them. The diversity of data that are collected over the same area, often from different sources, imposes a question of how to integrate and to keep them consistent in order to provide correct answers for spatial queries. This thesis is concerned with the development of a tool to check topological equivalence and similarity for spatial objects in multi-representation databases. The main question is what are the components of a model to identify topological consistency, based on a set of possible transitions for the different types of spatial representations. This work develops a new formalism to model consistently spatial objects and spatial relations between several objects, each represented at multiple levels of detail. It focuses on the topological consistency constraints that must hold among the different representation of objects, but it is not concerned about generalization operations of how to derive one representation level from another. The result of this thesis is a?computational tool to evaluate topological equivalence and similarity across multiple representations. This thesis proposes to organize a spatial scene -a set of spatial objects and their embeddings in space- directly as a relation-based model that uses a hierarchical graph representation. The focus of the relation-based model is on relevant object representations. Only the highest-dimensional object representations are explicitly stored, while their parts are not represented in the graph