简介
罗宾·米尔纳(RobinMilner),英国计算机科学家。生于1934年1月13日,1991年获得世界计算机领域最高奖“图灵奖”。在计算机程序设计语言方面,米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型,实现了他称之为LCF的一个系统——“可计算函数的逻辑”。另一方面的贡献是关于并发计算(concurrentcomputing)和并行计算(parallelcomputing)。... 更多
时光轴
里程碑1
LOG0
2023
2023-12
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐