Complete Completion using Types and Weights

Citation

Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, and Ruzica Piskac. Complete completion using types and weights. In ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI), 2013.

BibTex Entry

@inproceedings{GveroETAL13CompleteCompletionTypesWeights,
  author = {Tihomir Gvero and Viktor Kuncak and Ivan Kuraj and Ruzica Piskac},
  title = {Complete Completion using Types and Weights},
  booktitle = {ACM SIGPLAN Conf. Programming Language Design and Implementation  (PLDI)},
  year = 2013
}