程序证明
Program Proofs
K. Rustan M. Leino, Kaleb Leino · 初版 2023 年
- 4次提及
- 2人推荐
- 2位 HN 评论者
Hacker News 读者推荐
……生成描述上溢/下溢的 assertions，进而倒逼你在函数参数上加上合适的前置条件。:-) 顺便问下，你读过 K. Rustan M. Leino 最近出的那本《Program Proofs》以及 Dafny 语言吗？这是我在该编程风格和技术领域见过的最新、且目前最好的一本书。
mcguire 在 HN 的推荐
……多加练习，你就会开始更好地理解自己的系统，在分析和设计它们时，我写的那类东西就会更自然地信手拈来。如果想迈向代码的形式化证明，我推荐 Leino 的《Program Proofs》（使用的是 Dafny），这是该领域比较通俗易懂的入门教程之一。
Jtsummers 在 HN 的推荐
https://news.ycombinator.com/item?id=38691437 - 2023年12月，1条评论。之前就这一条提交，但我觉得挺有意思。如果你对这个话题和语言感兴趣，提到的那本《Program Proofs》很值得一读。
Jtsummers 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。