Publisher
Springer Berlin Heidelberg
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exocompilation for productive programming of hardware accelerators;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
2. Multi-dimensional Arrays with Levels;Electronic Proceedings in Theoretical Computer Science;2020-05-01
3. Contract-based verification of MATLAB-style matrix programs;Formal Aspects of Computing;2016-03
4. Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code;Formal Methods and Software Engineering;2014
5. Descriptor-Free Representation of Arrays with Dependent Types;Implementation and Application of Functional Languages;2011