Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter. Refactoring using type constraints. ACM Transactions on Programming Languages and Systems, 33(3):9, 2011. [doi]
@article{TipFKEBS11,
title = {Refactoring using type constraints},
author = {Frank Tip and Robert M. Fuhrer and Adam Kiezun and Michael D. Ernst and Ittai Balaban and Bjorn De Sutter},
year = {2011},
doi = {10.1145/1961204.1961205},
url = {http://doi.acm.org/10.1145/1961204.1961205},
tags = {refactoring, constraints},
researchr = {https://researchr.org/publication/TipFKEBS11},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {33},
number = {3},
pages = {9},
}