A Polymorphic Intermediate Verification Language: Design and Logical Encoding
Abstract elided by the publisher.
Related papers
- Hypra: A Deductive Program Verifier for Hyper Hoare Logic OOPSLA 2024
- On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings ESOP 2018
- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings TOPLAS 2021
- A calculus with polymorphic and polyvariant flow types JFP 2002
- Pyls: Enabling Python Hardware Synthesis with Dynamic Polymorphism via LCRS Encoding CGO 2026
- A Deductive Verification Infrastructure for Probabilistic Programs OOPSLA 2023
- Kinds are calling conventions ICFP 2020
- SART: Sign-Absolute Reformulation Theory for Binary Variable Reduction in Neural Network Verification OOPSLA 2026