Millions of lines of code – how do you keep them bug free? Facebook’s Professor Peter O’Hearn talks us through "Infer" their code checker which dallies with the idea of undecidability.
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: https://bit.ly/nottscomputer
Computerphile is a sister project to Brady Haran’s Numberphile. More at http://www.bradyharan.com
We are sorry that this post was not useful for you!
Help us improve our content!
Tell us if mBlip should continue to feature this YouTuber's content.