Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99


Any time

2020 ( 26 )

2019 ( 241 )

2018 ( 281 )

2017 ( 293 )

Custom range...

Search Results: 1 - 10 of 224227 matches for " Rémy Haemmerlé "
All listed articles are free for downloading (OA Articles)
Page 1 /224227
Display every page Item
Observational equivalences for linear logic CC languages
Rémy Haemmerlé
Computer Science , 2011, DOI: 10.1017/S1471068411000123
Abstract: Linear logic Concurrent Constraint programming (LCC) is an extension of concurrent constraint programming (CC) where the constraint system is based on Girard's linear logic instead of the classical logic. In this paper we address the problem of program equivalence for this programming framework. For this purpose, we present a structural operational semantics for LCC based on a label transition system and investigate different notions of observational equivalences inspired by the state of art of process algebras. Then, we demonstrate that the asynchronous \pi-calculus can be viewed as simple syntactical restrictions of LCC. Finally we show LCC observational equivalences can be transposed straightforwardly to classical Concurrent Constraint languages and Constraint Handling Rules, and investigate the resulting equivalences.
(Co-)Inductive semantics for Constraint Handling Rules
Rémy Haemmerlé
Computer Science , 2011, DOI: 10.1017/S1471068411000196
Abstract: In this paper, we address the problem of defining a fixpoint semantics for Constraint Handling Rules (CHR) that captures the behavior of both simplification and propagation rules in a sound and complete way with respect to their declarative semantics. Firstly, we show that the logical reading of states with respect to a set of simplification rules can be characterized by a least fixpoint over the transition system generated by the abstract operational semantics of CHR. Similarly, we demonstrate that the logical reading of states with respect to a set of propagation rules can be characterized by a greatest fixpoint. Then, in order to take advantage of both types of rules without losing fixpoint characterization, we present an operational semantics with persistent. We finally establish that this semantics can be characterized by two nested fixpoints, and we show the resulting language is an elegant framework to program using coinductive reasoning.
Diagrammatic confluence for Constraint Handling Rules
Rémy Haemmerlé
Computer Science , 2012, DOI: 10.1017/S1471068412000270
Abstract: Confluence is a fundamental property of Constraint Handling Rules (CHR) since, as in other rewriting formalisms, it guarantees that the computations are not dependent on rule application order, and also because it implies the logical consistency of the program declarative view. In this paper we are concerned with proving the confluence of non-terminating CHR programs. For this purpose, we derive from van Oostrom's decreasing diagrams method a novel criterion on CHR critical pairs that generalizes all preexisting criteria. We subsequently improve on a result on the modularity of CHR confluence, which permits modular combinations of possibly non-terminating confluent programs, without loss of confluence.
Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)
Rémy Haemmerlé,Jose Morales
Computer Science , 2013,
Abstract: This volume contains the papers presented at the 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013), which was held in Istanbul, Turkey, on August 24 & 25 2013 as a satellite event of the 29th International Conference on Logic Programming, (ICLP 2013).
Proceedings of the Eleventh Workshop on Constraint Handling Rules
Rémy Haemmerlé,Jon Sneyers
Computer Science , 2014,
Abstract: This volume contains the papers presented at the eleventh Workshop on Constraint Handling Rules (CHR 2014), which will be held in Vienna at the occasion of the Vienna Summer of Logic (VSL)
Lightweight compilation of (C)LP to JavaScript
Jose F. Morales,Rémy Haemmerlé,Manuel Carro,Manuel V. Hermenegildo
Computer Science , 2012, DOI: 10.1017/S1471068412000336
Abstract: We present and evaluate a compiler from Prolog (and extensions) to JavaScript which makes it possible to use (constraint) logic programming to develop the client side of web applications while being compliant with current industry standards. Targeting JavaScript makes (C)LP programs executable in virtually every modern computing device with no additional software requirements from the point of view of the user. In turn, the use of a very high-level language facilitates the development of high-quality, complex software. The compiler is a back end of the Ciao system and supports most of its features, including its module system and its rich language extension mechanism based on packages. We present an overview of the compilation process and a detailed description of the run-time system, including the support for modular compilation into separate JavaScript code. We demonstrate the maturity of the compiler by testing it with complex code such as a CLP(FD) library written in Prolog with attributed variables. Finally, we validate our proposal by measuring the performance of some LP and CLP(FD) benchmarks running on top of major JavaScript engines.
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog
Emilio Jesús Gallego Arias,Rémy Haemmerlé,Manuel V. Hermenegildo,José F. Morales
Computer Science , 2013,
Abstract: We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on Ciao's module system and code transformation capabilities in order to achieve a highly modular design without compromising performance. We describe the interface, implementation, and design rationale of each modular component. The library meets several design goals: a high level of modularity, allowing the individual components to be replaced by different versions; high-efficiency, being competitive with other FD implementations; a glass-box approach, so the user can specify new constraints at different levels; and a Prolog implementation, in order to ease the integration with Ciao's code analysis components. The core is built upon two small libraries which implement integer ranges and closures. On top of that, a finite domain variable datatype is defined, taking care of constraint reexecution depending on range changes. These three libraries form what we call the FD kernel of the library. This FD kernel is used in turn to implement several higher-level finite domain constraints, specified using indexicals. Together with a labeling module this layer forms what we name \emph{the FD solver}. A final level integrates the clp(FD) paradigm with our FD solver. This is achieved using attributed variables and a compiler from the clp(FD) language to the set of constraints provided by the solver. It should be noted that the user of the library is encouraged to work in any of those levels as seen convenient: from writing a new range module to enriching the set of FD constraints by writing new indexicals.
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015
Francisco Corbera,Andrés Rodríguez,Rafael Asenjo,Angeles Navarro,Antonio Vilches,Maria Garzaran,Ismat Chaib Draa,Jamel Tayeb,Smail Niar,Mikael Desertot,Daniel Gregorek,Robert Schmidt,Alberto Garcia-Ortiz,Pedro Lopez-Garcia,Rémy Haemmerlé,Maximiliano Klemen,Umer Liqat,Manuel V. Hermenegildo,Radim Vav?ík,Albert Saà-Garriga,David Castells-Rufas,Jordi Carrabina
Computer Science , 2015,
Abstract: Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. Amsterdam, January 21st. Collocated with HIPEAC 2015 Conference.
Cyclones and Societies in the Mascarene Islands 17th-20th Centuries  [PDF]
Emmanuel Garnier,rémy Desarthe
American Journal of Climate Change (AJCC) , 2013, DOI: 10.4236/ajcc.2013.21001

The recent IPCC-SREX report focuses on the impact of extreme weather events on societies and underlines the absence of reliable data to assert a solid link between them and the current global climate change. Thanks to the unpublished materials that are contained in historic archives, this article suggests studying the cyclones which affected the Mascarene islands between 1654 and 2007 and which supply us with a catalog of hitherto unpublished events. Inspired by the Simpson-Saffir hurricanes Wind Scale, the research proposes a relative evaluation of the extremes of the region. It underlines the big fluctuations in the last three centuries and partially answers the current debate on the reliability of the data in relation to hurricanes and their link with the contemporary climate. The available archives show that this type of meteorological event has occurred frequently during the relevant historical period and that for that reason, has given rise to original strategies of adaptation on the part of the societies affected. The results presented here constitute new and reliable data which could make an important contribution to the decision-makers and to climatologists trying to design strategies which the populations of small islands facing the climatic hazards of the future will have to adopt.

Adaptive Filter for High Dimensional Inverse Engineering Problems: From Theory to Practical Implementation  [PDF]
Hong Son Hoang, Rémy Barailles
Engineering (ENG) , 2013, DOI: 10.4236/eng.2013.55A010
Abstract: The inverse engineering problems approach is a discipline that is growing very rapidly. The inverse problems we consider here concern the way to determine the state and/or parameters of the physical system of interest using observed measurements. In this context the filtering algorithms constitute a key tool to offer improvements of our knowledge on the system state, its forecast which are essential, in particular, for oceanographic and meteorologic operational systems. The objective of this paper is to give an overview on how one can design a simple, no time-consuming Reduced-Order Adaptive Filter (ROAF) to solve the inverse engineering problems with high forecasting performance in very high dimensional environment.
Page 1 /224227
Display every page Item

Copyright © 2008-2017 Open Access Library. All rights reserved.