Pages that link to "Item:Q1870493"
From MaRDI portal
The following pages link to Secure information flow via linear continuations (Q1870493):
Displayed 8 items.
- Game semantics and linear CPS interpretation (Q1770417) (← links)
- A first-order one-pass CPS transformation (Q1884883) (← links)
- Noninterference in a predicative polymorphic calculus for access control (Q2339144) (← links)
- Instruction-level security analysis for information flow in stack-based assembly languages (Q2381502) (← links)
- Type-based information flow analysis for the \(\pi\)-calculus (Q2581011) (← links)
- More Typed Assembly Languages for Confidentiality (Q3498434) (← links)
- A linear/producer/consumer model of classical linear logic (Q4637629) (← links)
- On one-pass CPS transformations (Q5428374) (← links)