list | abstracts | bib ]

Synthesizing Functions from Relations in Leon (Invited Contribution)

Citation

Viktor Kuncak, Etienne Kneuss, and Emmanouil Koukoutos. Synthesizing functions from relations in Leon (invited contribution). In Logic-Based Program Synthesis and Transformation (LOPSTR), 2014.

BibTex Entry

@INPROCEEDINGS{KuncakETAL14SynthesizingFunctionsRelationsLeon,
  author = {Viktor Kuncak and Etienne Kneuss and Emmanouil Koukoutos},
  title = {Synthesizing Functions from Relations in {Leon} (Invited Contribution)},
  booktitle = {Logic-Based Program Synthesis and Transformation (LOPSTR)},
  year = 2014
}

list | abstracts | bib ]