A separation logic for sequences in pointer programs and its decidability

Tianyue Cao, Bowen Zhang, Zhao Jin +2

Separation logic and its variants can describe various properties on pointer programs. However, when it comes to properties on sequences, one may find it hard to formalize. To deal…