69 citations
- Nantes UniversitéFR26 papers
- Institut national de recherche en sciences et technologies du numériqueFR3 papers
- Computer Algorithms for MedicineAT2 papers
- Lingua et Machina (France)FR2 papers
- Université Stendhal – Grenoble 3FR2 papers
- École Normale Supérieure Paris-SaclayFR1 paper
- GREYCFR1 paper
- Informatique, BioInformatique, Systèmes ComplexesFR1 paper
- Inria ChileCL1 paper
- Institut de Recherche en Informatique et Systèmes AléatoiresFR1 paper
- Institute of MiningRU1 paper
- Institut für Regionale Innovation und SozialforschungDE1 paper
5 papers · 1 filter
Proceedings International Workshop on Component and Service Interoperability
Javier Cámara, Carlos Canal, Gwen Salaün
This volume contains the proceedings of WCSI 2010, the International Workshop on Component and Service Interoperability. WCSI 2010 was held in Malaga (Spain) on June 29th, 2010 as…
Variable elimination for building interpreters
Julien Cohen, Jean-Louis Giavitto, Olivier Michel
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (th…
Views, Program Transformations, and the Evolutivity Problem in a Functional Language
Julien Cohen, Rémi Douence
We report on an experience to support multiple views of programs to solve the tyranny of the dominant decomposition in a functional setting. We consider two possible architectures…
Modelling and Analysing Dynamic Decentralised Systems
Christian Attiogbe
We introduce a method to specify and analyse decentralised dynamic systems; the method is based on the combination of an event-based multi-process system specification approach wit…
COINS: a constraint-based interactive solving system
Samir Ouis, Narendra Jussien, Patrice Boizumault
This paper describes the COINS (COnstraint-based INteractive Solving) system: a conflict-based constraint solver. It helps understanding inconsistencies, simulates constraint addit…