- 2
- 1
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
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
|
CoqTL: A Coq DSL for Rule-Based Model TransformationSoftware and Systems Modeling, 2020, 19, pp.425-439. ⟨10.1007/s10270-019-00765-6⟩
Article dans une revue
hal-02333564v1
|
|
Reactive Model Transformation with ATLScience of Computer Programming, 2017, 136, pp.1 - 16. ⟨10.1016/j.scico.2016.08.006⟩
Article dans une revue
hal-01627991v1
|
Lazy Evaluation for OCLModels 2015: 15th International Workshop on OCL and Textual Modeling, Sep 2015, Ottawa, Canada
Communication dans un congrès
hal-01221072v1
|