The following pages link to Programming Languages and Systems (Q5316567):
Displaying 17 items.
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- Blaming the client: on data refinement in the presence of pointers (Q607403) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- On models of higher-order separation logic (Q2130583) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Local local reasoning: a BI-hyperdoctrine for full ground store (Q2200846) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Caper (Q2988651) (← links)
- Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq (Q3087993) (← links)
- (Q3121529) (← links)
- (Q4553286) (← links)
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory (Q5098721) (← links)
- (Q5376651) (← links)
- Higher-Order Separation Logic in Isabelle/HOLCF (Q5415649) (← links)
- Step-Indexed Kripke Model of Separation Logic for Storable Locks (Q5739354) (← links)
