Pages that link to "Item:Q387994"

The following pages link to An observationally complete program logic for imperative higher-order functions (Q387994):

Displaying 4 items.

• Symbolic execution proofs for higher order store programs (Q287265) (← links)
• Crowfoot: A Verifier for Higher-Order Store Programs (Q2891407) (← links)
• Specification Patterns and Proofs for Recursion through the Store (Q3088293) (← links)
• Reverse Hoare Logic (Q3095238) (← links)