Pages that link to "Item:Q5016212"

The following pages link to StkTokens<i>: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities</i> (Q5016212):

Displaying 2 items.

• Linear capabilities for fully abstract compilation of separation-logic-verified code (Q5016209) (← links)
• StkTokens<i>: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities</i> (Q5016212) (← links)