Author:
Bagge Anya Helene,David Valentin,Haveraaen Magne
Publisher
AITO - Association Internationale pour les Technologies Objets
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. P3 problem and Magnolia language: Specializing array computations for emerging architectures;Frontiers in Computer Science;2022-10-31
2. Semantics of multiway dataflow constraint systems;Journal of Logical and Algebraic Methods in Programming;2021-06
3. Axiom Based Testing for Fun and Pedagogy;Communications in Computer and Information Science;2021
4. An array API for finite difference methods;Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming;2018-06-19
5. Proving a core code for FDM correct by 2 + dw tests;Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming;2018-06-19