list | abstracts | bib ]

Synthesis Modulo Recursive Functions

paper pdf    paper ps   

Citation

Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, and Philippe Suter. Synthesis modulo recursive functions. In OOPSLA, 2013.

BibTex Entry

@INPROCEEDINGS{KneussETAL13SynthesisModuloRecursiveFunctions,
  author = {Etienne Kneuss and Viktor Kuncak and Ivan Kuraj and Philippe Suter},
  title = {Synthesis Modulo Recursive Functions},
  booktitle = {OOPSLA},
  year = 2013,
  localurl = {http://lara.epfl.ch/~kuncak/papers/KneussETAL13SynthesisModuloRecursiveFunctions.pdf}
}

list | abstracts | bib ]