编辑特辑

“Tony Hoare”相关的内容

本视频由黄璜翻译，马国耀审校。

Tony Hoare爵士在访谈中谈到了他的背景，与微软研究院的关系，他在“统一程序设计理论”方面的兴趣，以及许多编程、正确性验证、程序形式化分析、类型系统等等相关的话题。同时提到的还有：并发、空引用、缓冲溢出等。