Pages that link to "Item:Q1869976"
From MaRDI portal
The following pages link to Information flow for Algol-like languages (Q1869976):
Displaying 4 items.
- Magic-sets for localised analysis of Java bytecode (Q656846) (← links)
- Instruction-level security analysis for information flow in stack-based assembly languages (Q2381502) (← links)
- Optimality and condensing of information flow through linear refinement (Q2464935) (← links)
- From Exponential to Polynomial-Time Security Typing via Principal Types (Q3000586) (← links)
