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.
Makoto Tatsuta
A grouping.
Makoto Tatsuta: completeness of separation logic asked of ever larger fragments (2009-16) - pointer programs, inductive definitions, recursive procedures - plus a decidable fragment (2017).
5 references
Completeness and expressiveness of pointer program verification by separation logic
Makoto Tatsuta and others (2019) · Information and Computation · Elsevier
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic
Quang Loc Le and others (2017) · Computer Aided Verification · Springer
Completeness for recursive procedures in separation logic
Mahmudul Faisal Al Ameen and others (2016) · Theoretical Computer Science · Elsevier
Completeness of separation logic with inductive definitions for program verification
Makoto Tatsuta and others (2014) · International Conference on Software Engineering and Formal Methods · Springer
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