Xavier Rival, Laurent Mauborgne. The trace partitioning abstract domain. ACM Transactions on Programming Languages and Systems, 29(5):26, 2007. [doi]
@article{RivalM07, title = {The trace partitioning abstract domain}, author = {Xavier Rival and Laurent Mauborgne}, year = {2007}, doi = {10.1145/1275497.1275501}, url = {http://doi.acm.org/10.1145/1275497.1275501}, tags = {partitioning}, researchr = {https://researchr.org/publication/RivalM07}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {29}, number = {5}, pages = {26}, }