Learning refinement types
From MaRDI portal
Publication:2981992
DOI10.1145/2784731.2784766zbMath1360.68345OpenAlexW2089805963MaRDI QIDQ2981992
Suresh Jagannathan, Aditya V. Nori, He Zhu
Publication date: 10 May 2017
Published in: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2784731.2784766
Related Items (6)
Constraint-based relational verification ⋮ Parameterized recursive refinement types for automated program verification ⋮ A learning-based approach to synthesizing invariants for incomplete verification engines ⋮ Modular Verification of Higher-Order Functional Programs ⋮ Predicate abstraction and CEGAR for \(\nu \mathrm{HFL}_\mathbb{Z}\) validity checking ⋮ ICE-based refinement type discovery for higher-order functional programs
This page was built for publication: Learning refinement types
