Subject
Computer Science Applications,Theoretical Computer Science,Software
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Mechanizing Refinement Types;Proceedings of the ACM on Programming Languages;2024-01-05
2. On the Practicality and Soundness of Refinement Types;Electronic Proceedings in Theoretical Computer Science;2023-11-17
3. Flux: Liquid Types for Rust;Proceedings of the ACM on Programming Languages;2023-06-06
4. Covering All the Bases: Type-Based Verification of Test Input Generators;Proceedings of the ACM on Programming Languages;2023-06-06
5. Usability-Oriented Design of Liquid Types for Java;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05