list | abstracts | bib ]

Synthesizing Functions from Relations in Leon (Invited Contribution)


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

  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 ]