Pages that link to "Item:Q2988642"

The following pages link to Temporary Read-Only Permissions for Separation Logic (Q2988642):

Displaying 3 items.

• A relational shape abstract domain (Q2058389) (← links)
• Concise Read-Only Specifications for Better Synthesis of Programs with Pointers (Q5041091) (← links)
• Characteristic formulae for liveness properties of non-terminating CakeML programs (Q5875446) (← links)