Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum. Strengthening invariants for efficient computation. Science of Computer Programming, 41(2):139-172, 2001.
@article{LiuST01,
title = {Strengthening invariants for efficient computation},
author = {Yanhong A. Liu and Scott D. Stoller and Tim Teitelbaum},
year = {2001},
researchr = {https://researchr.org/publication/LiuST01},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {41},
number = {2},
pages = {139-172},
}