This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Mahmudul Faisal Al Ameen
A grouping.
Mahmudul Faisal Al Ameen: completeness of separation logic, mostly with Tatsuta - pointer programs, recursive procedures, expressiveness. The 2016 TCS paper and the thesis of that year are separate records, linked distinct-from.
4 references
Completeness and expressiveness of pointer program verification by separation logic
Makoto Tatsuta and others (2019) · Information and Computation · Elsevier
Completeness for recursive procedures in separation logic
Mahmudul Faisal Al Ameen and others (2016) · Theoretical Computer Science · Elsevier
Completeness of Verification System with Separation Logic for Recursive Procedures
Mahmudul Faisal Al Ameen (2016) · The Graduate University for Advanced Studies, SOKENDAI
Completeness of Pointer Program Verification by Separation Logic
Makoto Tatsuta and others (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods · IEEE