Abstract Local Completeness - A Local Form of Abstract Non-interference
No abstract available.
Related papers
- Complete Local Reasoning About Parameterized Programs Over Topologies CAV 2026
- LAND*: an AND with local bindings, a guarded LET* special form ICFP 1998
- Type-safe higher-order channels with channel locality JFP 2009
- Logics for Extensional, Locally Complete Analysis via Domain Refinements ESOP 2023
- Abstract Interpretation with Unfoldings CAV 2017
- Abstract non-interference: parameterizing non-interference by abstract interpretation POPL 2004
- A semantics for procedure local heaps and its abstractions POPL 2005
- Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference VMCAI 2018