Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated lemma synthesis in symbolic-heap separation logic
POPL, 2018.
@article{POPL-2018-TaLKC,
author = "Quang-Trung Ta and Ton Chanh Le and Siau-Cheng Khoo and Wei-Ngan Chin",
doi = "10.1145/3158097",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "29",
publisher = "{ACM}",
title = "{Automated lemma synthesis in symbolic-heap separation logic}",
volume = 2,
year = 2018,
}