Author:
Charguéraud Arthur,Pottier François
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Aeneas: Rust verification by functional translation;Proceedings of the ACM on Programming Languages;2022-08-29
2. RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
3. Modular specification and verification of closures in Rust;Proceedings of the ACM on Programming Languages;2021-10-20
4. Context-Free Session Type Inference;ACM Transactions on Programming Languages and Systems;2019-06-30
5. The Design and Formalization of Mezzo, a Permission-Based Programming Language;ACM Transactions on Programming Languages and Systems;2016-10-13