Automated Program Synthesis, lecture by Elaine Kant
About this video
Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceExplains automated program synthesis and code generation. Lecture on synthesis techniques, formal methods, and automatic system design.
A 53-minute video from Computer History Museum: “Automated Program Synthesis, lecture by Elaine Kant”.
Video by Computer History Museum, played through YouTube's embedded player.