Inspired by Aws Albarghouthi’s primer, I’ll give a little lecture on program synthesis for the last day of this year’s CS 6110. Here’s a code-driven introduction whose goal is to convince you that you too can synthesize programs.
Related Keywords
James Bornholt , , Aws Albarghouthi , Emina Torlak ,
comparemela.com © 2020. All Rights Reserved.