Author:
Jhala Ranjit,Majumdar Rupak,Rybalchenko Andrey
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Ball, T., Rajamani, S.K.: The SLAM project: debugging system software via static analysis. In: POPL, pp. 1–3. ACM, New York (2002)
2. Bengtson, J., Bhargavan, K., Fournet, C., Gordon, A.D., Maffeis, S.: Refinement types for secure implementations. In: CSF (2008)
3. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: PLDI, pp. 196–207 (2003)
4. Cui, S., Donnelly, K., Xi, H.: ATS: A language that combines programming with theorem proving. In: FroCos (2005)
5. Dunfield, J.: A Unified System of Type Refinements. PhD thesis, Carnegie Mellon University, Pittsburgh, PA, USA (2007)
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Inferring Non-failure Conditions for Declarative Programs;Lecture Notes in Computer Science;2024
2. Higher-Order Property-Directed Reachability;Proceedings of the ACM on Programming Languages;2023-08-30
3. Higher-Order MSL Horn Constraints;Proceedings of the ACM on Programming Languages;2023-01-09
4. Constraint-Based Relational Verification;Computer Aided Verification;2021
5. Temporal Refinements for Guarded Recursive Types;Programming Languages and Systems;2021