Completeness and expressiveness of pointer program verification by separation logic.
Saved in:
| Title: | Completeness and expressiveness of pointer program verification by separation logic. |
|---|---|
| Authors: | Tatsuta, Makoto1, tatsuta@nii.ac.jp, Chin, Wei-Ngan2, chinwn@comp.nus.edu.sg, Al Ameen, Mahmudul Faisal2, mahmudulfaisal@gmail.com |
| Source: | Information & Computation; Aug2019, Vol. 267, p1-27, 27p |
| Database: | Applied Science & Technology Source |
| ISSN: | 08905401 |
|---|---|
| DOI: | 10.1016/j.ic.2019.03.002 |
