CoqTL: A Coq DSL for Rule-Based Model Transformation - Archive ouverte HAL
Journal Articles Software and Systems Modeling Year : 2020

CoqTL: A Coq DSL for Rule-Based Model Transformation

Domains

Computer Science [cs] Software Engineering [cs.SE] Logic in Computer Science [cs.LO]
Fichier principal
Vignette du fichier
Final.pdf (510.8 Ko) Télécharger le fichier
Origin Files produced by the author(s)

ZHENG CHENG  : Connect in order to contact the contributor

https://hal.science/hal-02333564

Submitted on : Friday, October 25, 2019-2:03:32 PM

Last modification on : Tuesday, September 17, 2024-3:56:22 PM

Long-term archiving on : Sunday, January 26, 2020-3:22:38 PM

Download

Dates and versions

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

Identifiers

Cite

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⟩

Export

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 NANTES-UNIVERSITE INSTITUT-MINES-TELECOM
222 View
459 Download

Altmetric

Share

More