“What has changed is rethinking about programs because now…” — Software Engineering Daily at 22:51
“What has changed is rethinking about programs because now if you have loops, right, and you're now worrying about termination of the loops or you're worrying about finding an inductive invariant of the loop or you're worrying about concurrency.”
0:00
50:29