Login / Signup
Refactoring using type constraints.
Frank Tip
Robert M. Fuhrer
Adam Kiezun
Michael D. Ernst
Ittai Balaban
Bjorn De Sutter
Published in:
ACM Trans. Program. Lang. Syst. (2011)
Keyphrases
</>
multiple constraints
linear constraints
neural network
knowledge base
constraint programming
data quality
learning algorithm
artificial intelligence
information systems
image processing
search algorithm
object oriented
co occurrence
constraint propagation
constraint networks