Completeness of Verification System with Separation Logic for Recursive Procedures

The work

TitleCompleteness of Verification System with Separation Logic for Recursive Procedures
AuthorsMahmudul Faisal Al Ameen
TypePhD thesis
Year2016
Citekeyameen2016completenessverification

Where it appeared

PublisherThe Graduate University for Advanced Studies, SOKENDAI

Access

Landing pagehttps://ir.soken.ac.jp/records/5508
Free full texthttps://ir.soken.ac.jp/record/5508/files/A1889%E6%9C%AC%E6%96%87.pdf

Copy held

KindPDF, 613.9 kB
Retrieved2026-08-07
Heldlocal, for personal reference
Where it came fromhttps://nrjjxl1nnwb4.compat.objectstorage.ap-tokyo-1.oraclecloud.com/contents/ir_soken_ac_jp/86/9e/478b-33f7-47bc-9faf-c55ac1f47dfc/data?response-content-type=application%2Foctet-stream&response-content-disposition=attachment%3B%20filename%2A%3DUTF-8%27%27A1889%25E6%259C%25AC%25E6%2596%2587.pdf%3B%20filename%3DA1889.pdf&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=2933d73c5ea35b566afd770d1a6af5c853196a77%2F20260807%2Fap-tokyo-1%2Fs3%2Faws4_request&X-Amz-Date=20260807T130557Z&X-Amz-Expires=60&X-Amz-SignedHeaders=host&X-Amz-Signature=341442e281fb11234234e3597095f7c4d08e8fe4c2224a72c887f1425d161e87

Where this came from

How it got herethe agent went looking · found via bibtex
First seen2026-08-05
Standingendorsed
Approved2026-08-07

Cite it as

@phdthesis{ameen2016completenessverification,
  title = {Completeness of Verification System with Separation Logic for Recursive Procedures},
  author = {Mahmudul Faisal Al Ameen},
  year = {2016},
  publisher = {The Graduate University for Advanced Studies, SOKENDAI},
  url = {https://ir.soken.ac.jp/record/5508/files/A1889%E6%9C%AC%E6%96%87.pdf},
}

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