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
292006
Observational equivalences for linear logic concurrent constraint languages
R Haemmerlé
Theory and Practice of Logic Programming (ICLP'11 Special Issue) 11 (4-5 …, 2011
16*2011
A transformational approach to parametric accumulated-cost static profiling
R Haemmerlé, P López-García, U Liqat, M Klemen, JP Gallagher, ...
International Symposium on Functional and Logic Programming, 163-180, 2016
152016
Closures and modules within linear logic concurrent constraint programming
R Haemmerlé, F Fages, S Soliman
International Conference on Foundations of Software Technology and …, 2007
152007
Abstract critical pairs and confluence of arbitrary binary relations
R Haemmerlé, F Fages
International Conference on Rewriting Techniques and Applications, 214-228, 2007
142007
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
102016
The Ciao System
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López, G Puebla
Reference Manual (V1. 10), 1997
91997
Towards energy consumption verification via static analysis
P Lopez-Garcia, R Haemmerle, M Klemen, U Liqat, MV Hermenegildo
arXiv preprint arXiv:1512.09369, 2015
72015
Diagrammatic confluence for Constraint Handling Rules
R Haemmerlé
Theory and Practice of Logic Programming (ICLP'12 Special Issue) 12 (4-5 …, 0
7*
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
62012
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
On combining backward and forward chaining in constraint logic programming
R Haemmerlé
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
42014
An overview of the Ciao system
MV Hermenegildo, F Bueno, M Carro, P López-García, R Haemmerlé, ...
International Workshop on Rules and Rule Markup Languages for the Semantic …, 2011
32011
Modular extensions for modular (logic) languages
JF Morales, MV Hermenegildo, R Haemmerlé
International Symposium on Logic-Based Program Synthesis and Transformation …, 2011
32011
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
Logic Programming
S Etalle, M Truszczynski
Springer Berlin/Heidelberg., 2006
32006
SiLCC Is Linear Concurrent Constraint Programming
R Haemmerlé
Logic Programming, 448-449, 2005
3*2005
On termination, confluence and consistent CHR-based type inference
GJ Duck, R Haemmerle, M Sulzmann
arXiv preprint arXiv:1405.3393, 2014
22014
The system can't perform the operation now. Try again later.
Articles 1–20