Microsoft FlashMeta SDK A Framework for Creating Inductive Synthesizers

• Sumit Gulwani

Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015