Completeness and expressiveness of pointer program verification by separation logic. - Tatsuta, Makoto; Chin, Wei-Ngan; Al Ameen, Mahmudul Faisal (Information & Computation, 2019)