The following pages link to Matthieu Lemerre (Q2058388):
Displaying 6 items.
- 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)
- Gamifying Program Analysis (Q3460089) (← links)
- (Q4963916) (← links)
- Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing (Q5222967) (← links)
