Pages that link to "Item:Q5415628"

The following pages link to Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628):

Displaying 2 items.

• Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
• Concise Read-Only Specifications for Better Synthesis of Programs with Pointers (Q5041091) (← links)