Huisong Li, Francois Berenger, Bor-Yuh Evan Chang, Xavier Rival. Semantic-directed clumping of disjunctive abstract states. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 32-45, ACM, 2017. [doi]
Abstract is missing.