Executing certified model transformations on Apache Spark-Reference-Cited by-同舟云学术

Executing certified model transformations on Apache Spark

Published:2021-10-17 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering
language:
Short-container-title:

Author:

Philippe Jolan¹^ORCID,Tisi Massimo¹^ORCID,Coullon Hélène¹^ORCID,Sunyé Gerson²^ORCID

Affiliation:

1. IMT Atlantique, France

2. University of Nantes, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3486608.3486901

Reference23 articles.

1. University of Malaga Atenea team. 2018. Lintra. http://atenea.lcc.uma.es/projects/LinTra.html University of Malaga Atenea team. 2018. Lintra. http://atenea.lcc.uma.es/projects/LinTra.html

2. Distributing relational model transformation on MapReduce

3. Efficient model partitioning for distributed model transformations

4. Loli Burgueño Manuel Wimmer and Antonio Vallecillo. 2016. Towards Distributed Model Transformations with LinTra. Jornadas de Ingeniería del Software y Bases de Datos 1–6. http://hdl.handle.net/10630/12091 Loli Burgueño Manuel Wimmer and Antonio Vallecillo. 2016. Towards Distributed Model Transformations with LinTra. Jornadas de Ingeniería del Software y Bases de Datos 1–6. http://hdl.handle.net/10630/12091

5. A Type-Theoretic Framework for Certified Model Transformations

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

1. Towards Verified Scalable Parallel Computing with Coq and Spark;Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs;2023-07-18