Author:
Loulergue Frédéric,Bousdira Wadoud,Tesson Julien
Funder
Agence Nationale de la Recherche (FR)
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Theoretical Computer Science,Software
Reference26 articles.
1. Aldinucci, M., Danelutto, M.: Skeleton-based parallel programming: functional and parallel semantics in a single shot. Comput. Lang. Syst. Str. 33(3–4), 179–192 (2007)
2. Bird, R., de Moor, O.: Algebra of Programming. Prentice Hall, New Jersey (1996)
3. Bousdira, W., Loulergue, F., Tesson, J.: A verified library of algorithmic skeletons on evenly distributed arrays. In: Algorithms and Architectures for Parallel Processing (ICA3PP). pp. 218–232. No. 7439 in LNCS, Springer, Fukuoka, Japan (2012)
4. Cavarra, A., Riccobene, E., Zavanella, A.: A formal model for the parallel semantics of P3L. In: ACM Symposium on Applied Computing (SAC). pp. 804–812. ACM (2000)
5. Cole, M.: Parallel programming with list homomorphisms. Parallel Process. Lett. 5(2), 191–203 (1995)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verified High Performance Computing: The SyDPaCC Approach;Lecture Notes in Computer Science;2023-12-19
2. 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
3. Verified Scalable Parallel Computing with Why3;Software Engineering and Formal Methods;2023
4. Compiling first-order functions to session-typed parallel code;Proceedings of the 29th International Conference on Compiler Construction;2020-02-22
5. Parallel programming with Coq;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08