Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code-Reference-Cited by-同舟云学术

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

Published:2018-11-30 Issue: Volume: Page:259-273
ISSN:2367-3370
Container-title:Modelling and Implementation of Complex Systems
language:
Short-container-title:

Author:

Buisson Jérémy,Rehab Seidali

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-05481-6_20

Reference13 articles.

1. Buisson, J., Rehab, S.: Automatic transformation from ecore metamodels towards gallina inductive types. In: Hammoudi, S., Pires, L.F., Selic, B. (eds.) Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira, Portugal, 22–24 Jan 2018. pp. 488–495. SciTePress (2018). https://doi.org/10.5220/0006608604880495

2. Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional, New York (2009)

3. Texts in Theoretical Computer Science An EATCS Series;Yves Bertot,2004

4. Necula, G.C.: Proof-carrying code. In: Lee, P., Henglein, F., Jones, N.D. (eds.) Conference Record of POPL’97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Papers Presented at the Symposium, Paris, France, 15–17 Jan 1997, pp. 106–119. ACM Press (1997). https://doi.org/10.1145/263699.263712

5. Oquendo, F., Buisson, J., Leroux, E., Moguérou, G.: A formal approach for architecting software-intensive systems-of-systems with guarantees. In: 13th Annual Conference on System of Systems Engineering, SoSE 2018, Paris, France, 19–22 June 2018, pp. 14–21. IEEE (2018). https://doi.org/10.1109/SYSOSE.2018.8428726

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Mechanization of a Large DSML: An Experiment with AADL and Coq;2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE);2022-10-13

2. Systematic mapping study on domain-specific language development tools;Empirical Software Engineering;2020-08-28