算法程序调试
Algorithmic program debugging
Ehud Yehuda Shapiro · 初版 1983 年
- 6次提及
- 2人推荐
- 4位 HN 评论者
Hacker News 读者推荐
……通过逻辑推理来 debug 你的程序。事实上，由于这些特性，你甚至可以在很大程度上实现自动化调试。这类技术是由 Ehud Shapiro 在他 1982 年的博士论文《Algorithmic Program Debugging》中开创的：http://cpsc.yale.edu/sites/default/files/files/tr237.pdf 这篇论文非常值得一读，我强烈推荐！具体来说，引用第 155 页的内容：“尽管 Lisp 被认为是一种高级……
triska 在 HN 的推荐
这确实是一种极其有趣的方法。它最初是由 Ehud Shapiro 在其 1982 年的博士论文《Algorithmic Program Debugging》中，结合逻辑编程和 Prolog 开创出来的。该论文被 MIT 出版社作为 ACM 杰出博士论文出版，可以在线获取：http://cpsc.yale.edu/sites/default/files/files/tr237.pdf 与 Leon Sterling 一起，Ehud……
zmonx 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0262192187
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。