ComputerphileFacebook's Code Checker
2020 • E48 13. okt. 2020 14 m
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.