Syntax-Guided Program Synthesis

Published: 01 January 1970
on channel: Simons Institute
1,463
33

Rajeev Alur (University of Pennsylvania)
https://simons.berkeley.edu/talks/syn...
Synthesis of Models and Systems


Watch video Syntax-Guided Program Synthesis online without registration, duration hours minute second in high quality. This video was added by user Simons Institute 01 January 1970, don't forget to share it with your friends and acquaintances, it has been viewed on our site 1,463 once and liked it 33 people.