Pages that link to "Item:Q2931813"

The following pages link to Fully abstract compilation to JavaScript (Q2931813):

Displaying 4 items.

• Formal methods for web security (Q511944) (← links)
• Observational program calculi and the correctness of translations (Q2339472) (← links)
• Linear capabilities for fully abstract compilation of separation-logic-verified code (Q5016209) (← links)
• Securing a compiler transformation (Q5916265) (← links)