The following pages link to (Q4934630):
Displayed 14 items.
- Discovering invariants via simple component analysis (Q435979) (← links)
- Maximal incompleteness as obfuscation potency (Q511013) (← links)
- Grammar semantics, analysis and parsing by abstract interpretation (Q655410) (← links)
- Why does Astrée scale up? (Q845249) (← links)
- The octagon abstract domain (Q853733) (← links)
- Proof-carrying code from certified abstract interpretation and fixpoint compression (Q860842) (← links)
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (Q988565) (← links)
- Abstract interpretation of resolution-based semantics (Q1035705) (← links)
- Certified Static Analysis by Abstract Interpretation (Q3184788) (← links)
- Galois Connections for Recursive Types (Q3297839) (← links)
- Transforming Abstract Interpretations by Abstract Interpretation (Q3522058) (← links)
- Constructive Galois Connections (Q4972068) (← links)
- Control-flow analysis of function calls and returns by abstract interpretation (Q5891553) (← links)
- Adversarial logic (Q6109430) (← links)