Go offline with the Player FM app!
Rustan Leino - part II
Manage episode 523255046 series 3653028
I'm delighted to (continue to) talk to Rustan Leino, one of the world's premier program provers, probably best known for the Dafny programing and verification language.
We have a casual chat about program logics, some of the history of Dafny, and some deeper thoughts about inductive predicates and how to do program specification right.
A couple things mentioned:
Greg Nelson's PhD dissertation
65 episodes
Manage episode 523255046 series 3653028
I'm delighted to (continue to) talk to Rustan Leino, one of the world's premier program provers, probably best known for the Dafny programing and verification language.
We have a casual chat about program logics, some of the history of Dafny, and some deeper thoughts about inductive predicates and how to do program specification right.
A couple things mentioned:
Greg Nelson's PhD dissertation
65 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.