Pages that link to "Item:Q5348916"
From MaRDI portal
The following pages link to A logic for information flow in object-oriented programs (Q5348916):
Displayed 13 items.
- Program equivalence by circular reasoning (Q493521) (← links)
- Relational bytecode correlations (Q710672) (← links)
- Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements (Q833736) (← links)
- Automating regression verification of pointer programs by predicate abstraction (Q1650864) (← links)
- Product programs and relational program logics (Q2374302) (← 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)
- Abstract Certification of Global Non-interference in Rewriting Logic (Q3066121) (← links)
- Relational Decomposition (Q3087994) (← links)
- A Machine-Checked Framework for Relational Separation Logic (Q3095237) (← links)
- Secure information flow by self-composition (Q3103613) (← links)
- Symbolic abstract heaps for polymorphic information-flow guard inference (Q6132488) (← links)