Semantic-Directed Clumping of Disjunctive Abstract States
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}, }