Pages that link to "Item:Q3644765"

The following pages link to Nested Hoare Triples and Frame Rules for Higher-Order Store (Q3644765):

Displaying 8 items.

• Symbolic execution proofs for higher order store programs (Q287265) (← links)
• Specification patterns for reasoning about recursion through the store (Q393092) (← links)
• The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
• Crowfoot: A Verifier for Higher-Order Store Programs (Q2891407) (← links)
• Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq (Q3087993) (← links)
• Specification Patterns and Proofs for Recursion through the Store (Q3088293) (← links)
• Time Bounds for General Function Pointers (Q3178280) (← links)
• Realisability semantics of parametric polymorphism, general references and recursive types (Q3583027) (← links)