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

[ bib ] Back