Facebook's Code Checker - Computerphile

0 Просмотры
Издатель
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.

EXTRA BITS:
Turing & The Halting Problem:
How Turing Machines Work:




This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. More at
Категория
приключения
Комментариев нет.