Pages that link to "Item:Q859953"
From MaRDI portal
The following pages link to A logic for information flow analysis with an application to forward slicing of simple imperative programs (Q859953):
Displayed 7 items.
- Logic of secrets in collaboration networks (Q716496) (← links)
- Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements (Q833736) (← links)
- An independence relation for sets of secrets (Q965899) (← links)
- Optimality and condensing of information flow through linear refinement (Q2464935) (← links)
- From Exponential to Polynomial-Time Security Typing via Principal Types (Q3000586) (← links)
- An Independence Relation for Sets of Secrets (Q3638291) (← links)
- Abstract Program Slicing (Q5278199) (← links)