The paper "Comparing Conservative Coalescing Criteria" by Max Hailperin is © ACM, 2005. This is the author's version (in PDF or PostScript form) of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version is published in ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 27, Number 3 (May, 2005), pp. 571-582.
One note regarding nomenclature: In the paper, I defined the word "nonincreasing" as having a particular technical meaning. I was aware that this word also had other meanings, but used it anyway because I didn't know any better word for the concept in question. Since then I have become aware that the term "deflationary" is used for the concept in question. If I had the chance to write the paper over again, I would replace "nonincreasing" by "deflationary".