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
322006
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
182016
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
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
162011
Closures and modules within linear logic concurrent constraint programming
R Haemmerlé, F Fages, S Soliman
International Conference on Foundations of Software Technology and …, 2007
162007
Abstract critical pairs and confluence of arbitrary binary relations
R Haemmerlé, F Fages
International Conference on Rewriting Techniques and Applications, 214-228, 2007
142007
The Ciao System
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López, G Puebla
Reference Manual (V1. 10), 1997
121997
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
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
82012
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é, ...
International Workshop on Rules and Rule Markup Languages for the Semantic …, 2011
42011
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
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
Theory and Practice of Logic Programming 14 (4-5), 619-632, 2014
22014
Toward logically complete fixpoint semantics for Constraint Hangling Rules
R Haemmerlé
Technical Report CLIP3/2011, Technical University of Madrid, Madrid, Spain, 2011
22011
The system can't perform the operation now. Try again later.
Articles 1–20