Reference

2017
Semantic-Directed Clumping of Disjunctive Abstract States
Huisong Li, François Bérenger, Bor-Yuh Evan Chang, and Xavier Rival
POPL 2017: ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages

BibTeX

@string{POPL = "ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL)"}
@inproceedings{clumping-popl17,
  author = {Huisong Li and François Bérenger and Bor-Yuh Evan Chang and Xavier Rival},
  title = {Semantic-Directed Clumping of Disjunctive Abstract States},
  booktitle = POPL,
  year = {2017},
  pages = {32-45},
  
}