Accéder directement au contenu

Rémi Douence

3
Documents
Affiliations actuelles
  • 495900
  • 489559

Domaines de recherche

Génie logiciel [cs.SE]

Compétences

Functional Languages Semantics Certified Programming Haskell Agda Java Object-Oriented Languages

Publications

"xavier-lorca"
Image document

Prototyper des Moteurs de Propagation avec un DSL

Charles Prud'Homme , Xavier Lorca , Rémi Douence , Narendra Jussien
Journées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France. pp.279-288
Communication dans un congrès hal-00867713v1
Image document

Lazy Composition of Representations in Java

Rémi Douence , Xavier Lorca , Nicolas Loriant
SC'09 - International Conference on Software Composition, Jul 2009, Lille, France. pp.55-71
Communication dans un congrès inria-00403417v1