list | abstracts | bib ]

Interactive Synthesis Using Free-Form Queries (Tool Demonstration)

paper pdf   

Citation

Tihomir Gvero and Viktor Kuncak. Interactive synthesis using free-form queries (tool demonstration). In International Conference on Software Engineering (ICSE), 2015.

BibTex Entry

@INPROCEEDINGS{GveroKuncak15InteractiveSynthesisUsingFreeForm,
  author = {Tihomir Gvero and Viktor Kuncak},
  title = {Interactive Synthesis Using Free-Form Queries (Tool Demonstration)},
  booktitle = {International Conference on Software Engineering ({ICSE})},
  year = 2015,
  localurl = {http://lara.epfl.ch/~kuncak/papers/GveroKuncak15InteractiveSynthesisUsingFreeForm.pdf}
}

list | abstracts | bib ]