Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code

Jérémy Buisson, Seidali Rehab. Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code. In Salim Chikhi, Abdelmalek Amine, Allaoua Chaoui, Djamel-Eddine Saïdouni, editors, Modelling and Implementation of Complex Systems - Proceedings of the 5th International Symposium, MISC 2018, Laghouat, Algeria, December 16-18, 2018. Volume 64 of Lecture Notes in Networks and Systems, pages 259-273, Springer, 2018. [doi]

Abstract

Abstract is missing.