Computer Scientists Close In on Perfect, Hack-Proof Code
▻https://www.wired.com/2016/09/computer-scientists-close-perfect-hack-proof-code
“Back in the 20th century, if a program had a bug, that was bad, the program might crash, so be it,” said Andrew Appel, professor of computer science at Princeton University and a leader in the program verification field. But in the 21st century, a bug could create “an avenue for hackers to take control of the program and steal all your data. It’s gone from being a bug that’s bad but tolerable to a vulnerability, which is much worse,” he said.
The Dream of Perfect Programs !
#langage_fonctionnel #programmation_par_contrat #haskell #caml #ada