The following pages link to Xavier Rival (Q681351):
Displaying 25 items.
- An array content static analysis based on non-contiguous partitions (Q681352) (← links)
- Why does Astrée scale up? (Q845249) (← links)
- A relational shape abstract domain (Q2058389) (← links)
- Lightweight shape analysis based on physical types (Q2152652) (← links)
- Interprocedural shape analysis using separation logic-based transformer summaries (Q2233537) (← links)
- Concrete Memory Models for Shape Analysis (Q2814114) (← links)
- Reduced Product Combination of Abstract Domains for Shapes (Q2926653) (← links)
- Relational inductive shape analysis (Q3189844) (← links)
- Symbolic transfer function-based approaches to certified compilation (Q3452245) (← links)
- Abstract Domains and Solvers for Sets Reasoning (Q3460067) (← links)
- Abstraction of Optional Numerical Values (Q3460905) (← links)
- Separating Shape Graphs (Q3558238) (← links)
- (Q4411821) (← links)
- (Q4414379) (← links)
- (Q4414726) (← links)
- (Q4790671) (← links)
- (Q4994692) (← links)
- Abstraction of Arrays Based on Non Contiguous Partitions (Q5172648) (← links)
- Programming Languages and Systems (Q5316570) (← links)
- Programming Languages and Systems (Q5316581) (← links)
- Semantic-directed clumping of disjunctive abstract states (Q5370844) (← links)
- Calling context abstraction with shapes (Q5408542) (← links)
- Programming Languages and Systems (Q5493397) (← links)
- Static Analysis (Q5897439) (← links)
- A Categorical Framework for Program Semantics and Semantic Abstraction (Q6513045) (← links)