The following pages link to Tal Lev-Ami (Q2722066):
Displaying 8 items.
- (Q2722067) (← links)
- Proving Conditional Termination (Q3512502) (← links)
- Thread Quantification for Concurrent Shape Analysis (Q3512507) (← links)
- Heap Decomposition for Concurrent Shape Analysis (Q3522083) (← links)
- Labelled Clauses (Q3608781) (← links)
- Simulating reachability using first-order logic with applications to verification of linked data structures (Q3636811) (← links)
- A combination framework for tracking partition sizes (Q5261520) (← links)
- Constructing Specialized Shape Analyses for Uniform Change (Q5452609) (← links)
