1.8k citations
- Universidad Autónoma de MadridES13 papers
- Universidad Complutense de MadridES9 papers
- Centre National de la Recherche ScientifiqueFR8 papers
- Universidad Carlos III de MadridES7 papers
- Universidad Nacional Autónoma de MéxicoMX7 papers
- Universidad Rey Juan CarlosES6 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR5 papers
- European Telecommunications Standards InstituteFR5 papers
- CEA Paris-SaclayFR4 papers
- Universitat Politècnica de CatalunyaES4 papers
- University of the West of EnglandGB4 papers
- École Polytechnique Fédérale de LausanneCH3 papers
9 papers · 1 filter
Lightweight compilation of (C)LP to JavaScript
Jose F. Morales, Rémy Haemmerlé, Manuel Carro +1
We present and evaluate a compiler from Prolog (and extensions) to JavaScript which makes it possible to use (constraint) logic programming to develop the client side of web applic…
Diagrammatic confluence for Constraint Handling Rules
Rémy Haemmerlé
Confluence is a fundamental property of Constraint Handling Rules (CHR) since, as in other rewriting formalisms, it guarantees that the computations are not dependent on rule appli…
Reachability-based Acyclicity Analysis by Abstract Interpretation
Samir Genaim, Damiano Zanardini
In programming languages with dynamic use of memory, such as Java, knowing that a reference variable x points to an acyclic data structure is valuable for the analysis of terminati…
Observational equivalences for linear logic CC languages
Rémy Haemmerlé
Linear logic Concurrent Constraint programming (LCC) is an extension of concurrent constraint programming (CC) where the constraint system is based on Girard's linear logic instead…
Certificate size reduction in Abstraction-Carrying Code
Elvira Albert, Puri Arenas, Germán Puebla +1
Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction (or abstract model o…
Test Case Generation for Object-Oriented Imperative Languages in CLP
Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test cases which are applied to a…