Author:
Colaço Jean-Louis,Hamon Grégoire,Pouzet Marc
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synchronous Programming with Refinement Types;Proceedings of the ACM on Programming Languages;2024-08-15
2. Verified Compilation of Synchronous Dataflow with State Machines;ACM Transactions on Embedded Computing Systems;2023-09-09
3. Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs;Proceedings of the ACM on Programming Languages;2023-06-06
4. Accelerating OCaml Programs on FPGA;International Journal of Parallel Programming;2023-01-24
5. Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation;Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2022-11-29