Pages that link to "Item:Q5348916"
From MaRDI portal
The following pages link to A logic for information flow in object-oriented programs (Q5348916):
Displaying 18 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)
- A logic for information flow analysis with an application to forward slicing of simple imperative programs (Q859953) (← 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)
- Graph-Based Object-Oriented Hoare Logic (Q2842647) (← 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)
- Static Analysis (Q5466553) (← links)
- Static Analysis (Q5466580) (← links)
- Information Flow Control-by-Construction for an Object-Oriented Language (Q6111610) (← links)
- Abstract semantic dependency (Q6536297) (← links)