Completeness of Pointer Program Verification by Separation Logic

The work

TitleCompleteness of Pointer Program Verification by Separation Logic
AuthorsMakoto Tatsuta; Wei-Ngan Chin; Mahmudul Faisal Al Ameen
Typeconference paper
Year2009
Citekeytatsuta2009completeness

Where it appeared

Published in2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
PublisherIEEE
Pages179--188

Identifiers

DOI10.1109/sefm.2009.33

Access

Landing pagehttps://doi.org/10.1109/sefm.2009.33

Where this came from

How it got herethe agent went looking · found via crossref
First seen2026-08-07
Standingendorsed
Approved2026-08-07
In: SEFM: Software Engineering and Formal Methods venue

Cite it as

@inproceedings{tatsuta2009completeness,
  title = {Completeness of Pointer Program Verification by Separation Logic},
  author = {Makoto Tatsuta and Wei-Ngan Chin and Mahmudul Faisal Al Ameen},
  year = {2009},
  booktitle = {2009 Seventh IEEE International Conference on Software Engineering and Formal Methods},
  pages = {179--188},
  publisher = {IEEE},
  doi = {10.1109/sefm.2009.33},
  url = {https://doi.org/10.1109/sefm.2009.33},
}

This record lives at https://refs.drheap.org/tatsuta2009completeness/ and will keep doing so.