2 citations · 2 across the 4 of their papers we have counts for
1 paper · 2 filters
Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh
We consider the problem of automated reasoning about dynamically manipulated data structures. The state-of-the-art methods are limited to the unfold-and-match (U+M) paradigm, where…