Diagrammatic confluence for Constraint Handling Rules von Haemmerle, Remy

Volltext

Observational equivalences for linear logic concurrent constraint languages von Haemmerle, Remy

Volltext

Modules for Prolog Revisited von Haemmerlé, Rémy, Fages, François

Volltext

(Co-)Inductive semantics for Constraint Handling Rules von Haemmerle, Remy

Volltext

ICLP 2005 Doctoral Consortium: SiLCC Is Linear Concurrent Constraint Programming von HAEMMERLE, Rémy

Volltext

ENTRA: Whole-systems energy transparency von Eder, Kerstin, Gallagher, John P., López-García, Pedro, Muller, Henk, Banković, Zorana, Georgiou, Kyriakos, Haemmerlé, Rémy, Hermenegildo, Manuel V., Kafle, Bishoksan, Kerrison, Steve, Kirkeby, Maja, Klemen, Maximiliano, Li, Xueliang, Liqat, Umer, Morse, Jeremy, Rhiger, Morten, Rosendahl, Mads

Volltext

On Termination, Confluence and Consistent CHR-based Type Inference von DUCK, GREGORY J., HAEMMERLÉ, RÉMY, SULZMANN, MARTIN

Volltext

Lightweight compilation of (C)LP to JavaScript von MORALES, JOSE F., HAEMMERLÉ, RÉMY, CARRO, MANUEL, HERMENEGILDO, MANUEL V.

Volltext

On Termination, Confluence and Consistent CHR-based Type Inference von Duck, Gregory J, Haemmerle, Remy, Sulzmann, Martin

Volltext

Towards Energy Consumption Verification via Static Analysis von Lopez-Garcia, Pedro, Haemmerle, Remy, Klemen, Maximiliano, Liqat, Umer, Hermenegildo, Manuel V

Volltext bestellen

ENTRA: Whole-Systems Energy Transparency von Eder, Kerstin, Gallagher, John P, Lopez-Garcia, Pedro, Muller, Henk, Bankovic, Zorana, Georgiou, Kyriakos, Haemmerle, Remy, Hermenegildo, Manuel V, Kafle, Bishoksan, Kerrison, Steve, Kirkeby, Maja, Klemen, Maximiliano, Li, Xueliang, Liqat, Umer, Morse, Jeremy, Rhiger, Morten, Rosendahl, Mads

Volltext

Closures and Modules Within Linear Logic Concurrent Constraint Programming von Haemmerlé, Rémy, Fages, François, Soliman, Sylvain

Volltext

Abstract Critical Pairs and Confluence of Arbitrary Binary Relations von Haemmerlé, Rémy, Fages, François

Volltext

Towards Energy Consumption Verification via Static Analysis von Lopez-Garcia, Pedro, Haemmerle, Remy, Klemen, Maximiliano, Liqat, Umer, Hermenegildo, Manuel V

Volltext

Diagrammatic confluence for Constraint Handling Rules von Haemmerlé, Rémy

Volltext

(Co-)Inductive semantics for Constraint Handling Rules von Haemmerlé, Rémy

Volltext bestellen

Observational equivalences for linear logic CC languages von Haemmerlé, Rémy

Volltext bestellen

Proceedings of the Eleventh Workshop on Constraint Handling Rules von Haemmerlé, Rémy, Sneyers, Jon

Volltext bestellen

Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013) von Haemmerlé, Rémy, Morales, Jose

Volltext bestellen

Modular Extensions for Modular (Logic) Languages von Morales, José F., Hermenegildo, Manuel V., Haemmerlé, Rémy

Volltext