list | abstracts | bib ]

Complete Completion using Types and Weights

paper pdf   

Citation

Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, and Ruzica Piskac. Complete completion using types and weights. In 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 = {PLDI},
  year = 2013,
  localurl = {http://lara.epfl.ch/~kuncak/papers/GveroETAL13CompleteCompletionTypesWeights.pdf}
}

list | abstracts | bib ]