艾兹赫尔·戴克斯特拉 编辑
艾兹赫尔·韦伯·戴克斯特拉，又译艾兹赫尔·韦伯·迪杰斯特拉，生于荷兰鹿特丹，计算机科学家，是荷兰第一位以程式为专业的科学家。曾在1972年获得图灵奖，之后，他还获得1974年AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE计算机科学教育教学杰出贡献奖。
1
相关
银行家算法是一个避免死锁的著名算法，是由艾兹赫尔·戴克斯特拉在1965年为THE 操作系统设计的一种避免死结产生的算法。它以银行借贷系统的分配策略为基础，判断并保证系统的安全运行。
“被认为有害”一词是至少65篇计算机科学及相关学科领域重要论文均在标题中使用的一个短语模板。其起源可以追溯到1968年艾兹赫尔·戴克斯特拉的文章《Go To语句被认为有害》。
“被认为有害”一词是至少65篇计算机科学及相关学科领域重要论文均在标题中使用的一个短语模板。其起源可以追溯到1968年艾兹赫尔·戴克斯特拉的文章《Go To语句被认为有害》。
守卫命令语言是艾兹赫尔·戴克斯特拉为谓词变换语义定义的一门语言。它以精简方式组合了编程概念，它们处在以某种实际的编程语言书写程序之前。它的简单性使得采用霍尔逻辑证明程序的正确性更加容易。