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.
Quang Loc Le
A grouping.
Quang Loc Le: separation logic decided and applied - a decidable fragment with inductive predicates and arithmetic, SL-COMP, and symbolic execution for test generation from heap programs.
4 references
Finding real bugs in big programs with incorrectness logic
Quang Loc Le and others (2022) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation
Long H. Pham and others (2019) · Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings · Springer
SL-COMP: Competition of Solvers for Separation Logic
Mihaela Sighireanu and others (2019) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic
Quang Loc Le and others (2017) · Computer Aided Verification · Springer