Modules for Prolog revisited R Haemmerlé, F Fages International Conference on Logic Programming, 41-55, 2006 | 35 | 2006 |
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 | 27 | 2016 |
Observational equivalences for linear logic concurrent constraint languages R Haemmerlé Theory and Practice of Logic Programming (ICLP'11 Special Issue) 11 (4-5 …, 2011 | 17 | 2011 |
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 | 17 | 2007 |
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 | 16 | 2016 |
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 | 15 | 2012 |
Abstract critical pairs and confluence of arbitrary binary relations R Haemmerlé, F Fages International Conference on Rewriting Techniques and Applications, 214-228, 2007 | 15 | 2007 |
The Ciao System F Bueno, D Cabeza, M Carro, M Hermenegildo, P López, G Puebla Reference Manual (V1. 10), 1997 | 13 | 1997 |
Towards energy consumption verification via static analysis P Lopez-Garcia, R Haemmerle, M Klemen, U Liqat, MV Hermenegildo arXiv preprint arXiv:1512.09369, 2015 | 9 | 2015 |
On combining backward and forward chaining in constraint logic programming R Haemmerlé Proceedings of the 16th International Symposium on Principles and Practice …, 2014 | 7 | 2014 |
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 | 6 | 2011 |
(Co-) Inductive semantics for Constraint Handling Rules R Haemmerlé Theory and Practice of Logic Programming (ICLP'11 Special Issue) 11 (4-5 …, 2011 | 6 | 2011 |
Verification of constraint handling rules using linear logic phase semantics R Haemmerlé, H Betz The 5th Workshop on Constraint Handling Rules, 67-78, 2008 | 6 | 2008 |
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 | 5 | 2011 |
Closures are needed for closed module systems R Haemmerlé, F Fages INRIA, 2005 | 4 | 2005 |
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 | 3 | 2012 |
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 | 3 | 2008 |
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 | 2 | 2014 |