Pages that link to "Item:Q2892748"

The following pages link to Java and the Java Memory Model — A Unified, Machine-Checked Formalisation (Q2892748):

Displayed 10 items.

• CoSMed: a confidentiality-verified social media platform (Q1663221) ‎ (← links)
• Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) ‎ (← links)
• A formalized general theory of syntax with bindings (Q1687739) ‎ (← links)
• An operational happens-before memory model (Q1712426) ‎ (← links)
• A formalized general theory of syntax with bindings: extended version (Q1984791) ‎ (← links)
• CoCon: a conference management system with formally verified document confidentiality (Q2031419) ‎ (← links)
• Automatic refinement to efficient data structures: a comparison of two approaches (Q2417948) ‎ (← links)
• CoSMed: A Confidentiality-Verified Social Media Platform (Q2829248) ‎ (← links)
• Mining the Archive of Formal Proofs (Q3453102) ‎ (← links)
• (Q5875431) ‎ (← links)