Search a title or topic

Over 20 million podcasts, powered by 

Player FM logo
Artwork

Content provided by Cody Roux. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Cody Roux or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.
Player FM - Podcast App
Go offline with the Player FM app!

Rustan Leino - part II

51:56
 
Share
 

Manage episode 523255046 series 3653028
Content provided by Cody Roux. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Cody Roux or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.

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⁠

⁠Modula-3⁠

⁠Well-Founded Functions and Extreme Predicates in Dafn⁠⁠y⁠

⁠An Extended Static Checker for Modula-3⁠

  continue reading

65 episodes

Artwork
iconShare
 
Manage episode 523255046 series 3653028
Content provided by Cody Roux. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Cody Roux or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.

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⁠

⁠Modula-3⁠

⁠Well-Founded Functions and Extreme Predicates in Dafn⁠⁠y⁠

⁠An Extended Static Checker for Modula-3⁠

  continue reading

65 episodes

All episodes

×
 
Loading …

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.

 

Copyright 2025 | Privacy Policy | Terms of Service | | Copyright
Listen to this show while you explore
Play