Pages that link to "Item:Q5758044"

The following pages link to Logical Reasoning for Higher-Order Functions with Local State (Q5758044):

Displaying 2 items.

• Weak updates and separation logic (Q1758657) (← links)
• Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)