CoqTL: A Coq DSL for Rule-Based Model Transformation - Archive ouverte HAL
Article Dans Une Revue Software and Systems Modeling Année : 2020

CoqTL: A Coq DSL for Rule-Based Model Transformation

Domaines

Informatique [cs] Génie logiciel [cs.SE] Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
Final.pdf (510.8 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

ZHENG CHENG  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02333564

Soumis le : vendredi 25 octobre 2019-14:03:32

Dernière modification le : mercredi 16 octobre 2024-03:22:10

Archivage à long terme le : dimanche 26 janvier 2020-15:22:38

Télécharger pour visualiser

Dates et versions

hal-02333564 , version 1 (25-10-2019)

Identifiants

Citer

Zheng Cheng, Massimo Tisi, Rémi Douence. CoqTL: A Coq DSL for Rule-Based Model Transformation. Software and Systems Modeling, 2020, 19, pp.425-439. ⟨10.1007/s10270-019-00765-6⟩. ⟨hal-02333564⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS INRIA EC-NANTES UNAM INRIA2 LS2N LS2N-GALLINETTE LS2N-NAOMOD IMT-ATLANTIQUE ANR NANTES-UNIVERSITE INSTITUT-MINES-TELECOM
231 Consultations
467 Téléchargements

Altmetric

Partager

More