21 citations · 37 across the 9 of their papers we have counts for
6 papers · 1 filter
Towards Energy Consumption Verification via Static Analysis
Pedro Lopez-Garcia, Remy Haemmerle, Maximiliano Klemen +2
In this paper we leverage an existing general framework for resource usage verification and specialize it for verifying energy consumption specifications of embedded programs. Such…
Proceedings of the Eleventh Workshop on Constraint Handling Rules
Rémy Haemmerlé, Jon Sneyers
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 Log…
On Termination, Confluence and Consistent CHR-based Type Inference
Gregory J. Duck, Remy Haemmerle, Martin Sulzmann
We consider the application of Constraint Handling Rules (CHR) for the specification of type inference systems, such as that used by Haskell. Confluence of CHR guarantees that the…
Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)
Rémy Haemmerlé, Jose Morales
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…
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog
Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo +1
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 C…
Observational equivalences for linear logic CC languages
Rémy Haemmerlé
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…