Pages that link to "Item:Q3557085"
From MaRDI portal
The following pages link to A Polymorphic Intermediate Verification Language: Design and Logical Encoding (Q3557085):
Displaying 8 items.
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Identity-Based Cryptosystems and Quadratic Residuosity (Q2798777) (← links)
- Automating Induction with an SMT Solver (Q2891425) (← links)
- Encoding Monomorphic and Polymorphic Types (Q2974796) (← links)
- A Dynamic Logic for Unstructured Programs with Embedded Assertions (Q3067545) (← links)
- Expressing Polymorphic Types in a Many-Sorted Language (Q3172884) (← links)
- Extending Sledgehammer with SMT Solvers (Q5200019) (← links)
- Axiomatization of Typed First-Order Logic (Q5206956) (← links)
