Follow
Rémy Haemmerlé
Rémy Haemmerlé
IMDEA Software Institute
No verified email - Homepage
Title
Cited by
Cited by
Year
Modules for Prolog revisited
R Haemmerlé, F Fages
International Conference on Logic Programming, 41-55, 2006
352006
ENTRA: Whole-systems energy transparency
K Eder, JP Gallagher, P López-García, H Muller, Z Banković, K Georgiou, ...
Microprocessors and Microsystems 47, 278-286, 2016
222016
A transformational approach to parametric accumulated-cost static profiling
R Haemmerlé, P López-García, U Liqat, M Klemen, JP Gallagher, ...
Functional and Logic Programming: 13th International Symposium, FLOPS 2016 …, 2016
172016
Observational equivalences for linear logic concurrent constraint languages
R Haemmerlé
Theory and Practice of Logic Programming (ICLP'11 Special Issue) 11 (4-5 …, 2011
172011
Closures and modules within linear logic concurrent constraint programming
R Haemmerlé, F Fages, S Soliman
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer …, 2007
172007
Lightweight compilation of (C) LP to JavaScript
JF Morales, R Haemmerlé, M CARRO, MV HERMENEGILDO
Theory and Practice of Logic Programming (ICLP'12 Special Issue) 12 (4-5 …, 2012
152012
Abstract critical pairs and confluence of arbitrary binary relations
R Haemmerlé, F Fages
International Conference on Rewriting Techniques and Applications, 214-228, 2007
152007
The Ciao System
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López, G Puebla
Reference Manual (V1. 10), 1997
131997
Towards energy consumption verification via static analysis
P Lopez-Garcia, R Haemmerle, M Klemen, U Liqat, MV Hermenegildo
arXiv preprint arXiv:1512.09369, 2015
92015
On combining backward and forward chaining in constraint logic programming
R Haemmerlé
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
72014
Diagrammatic confluence for Constraint Handling Rules
R Haemmerlé
Theory and Practice of Logic Programming (ICLP'12 Special Issue) 12 (4-5 …, 0
7*
CLP projection for constraint handling rules
R Haemmerlé, P Lopez-Garcia, MV Hermenegildo
Proceedings of the 13th international ACM SIGPLAN symposium on Principles …, 2011
62011
(Co-) Inductive semantics for Constraint Handling Rules
R Haemmerlé
Theory and Practice of Logic Programming (ICLP'11 Special Issue) 11 (4-5 …, 2011
62011
Verification of constraint handling rules using linear logic phase semantics
R Haemmerlé, H Betz
The 5th Workshop on Constraint Handling Rules, 67-78, 2008
62008
An overview of the ciao system
MV Hermenegildo, F Bueno, M Carro, P López-García, R Haemmerlé, ...
Rule-Based Reasoning, Programming, and Applications: 5th International …, 2011
42011
Closures are needed for closed module systems
R Haemmerlé, F Fages
INRIA, 2005
42005
SiLCC Is Linear Concurrent Constraint Programming
R Haemmerlé
Logic Programming, 448-449, 2005
4*2005
Modular Extensions for Modular (Logic) Languages
JF Morales, MV Hermenegildo, R Haemmerlé
Logic-Based Program Synthesis and Transformation: 21st International …, 2012
32012
Fermetures et Modules dans les Langages Concurrents avec Contraintes fondés sur la Logique Linéaire
R Haemmerlé
PhD thesis, Univ. Paris 7. Soutenance le 17 janvier 2008 (December 2007), 2008
32008
On termination, confluence and consistent CHR-based type inference
GJ Duck, R Haemmerle, M Sulzmann
Theory and Practice of Logic Programming 14 (4-5), 619-632, 2014
22014
The system can't perform the operation now. Try again later.
Articles 1–20