Certifying a rule-based model transformation engine for proof preservation
Published: 16 October 2020
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems ; doi:10.1145/3365438.3410949
The publisher has not yet granted permission to display this abstract.
Keywords: certification / Mde / model transformation / theorem proving / Coq / Programming Language Implementation
Scifeed alert for new publicationsNever miss any articles matching your research from any publisher
- Get alerts for new papers matching your research
- Find out the new papers from selected authors
- Updated daily for 49'000+ journals and 6000+ publishers
- Define your Scifeed now
Click here to see the statistics on "Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems" .