Le, Ton Chanh

1. Automated Lemma Synthesis in Symbolic-Heap Separation Logic
   2017/10/26 by Ta, Quang-Trung, Le, Ton Chanh, Khoo, Siau-Cheng +1 · 3 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
2. Automated Mutual Explicit Induction Proof in Separation Logic
   2016/09/04 by Ta, Quang-Trung, Le, Ton Chanh, Khoo, Siau-Cheng +1 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
3. SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
   2019/03/22 by Le, Ton Chanh, Zheng, Guolong, Nguyen, ThanhVu · 2 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL)