大卫·本森
人员信息
其他同名人员
大卫·本森 大卫·A·本森 大卫·H·本森 大卫·本森 0001 -英国阿伯丁大学 大卫·J·本森 0002 -美国圣地亚哥加利福尼亚大学
优化列表
2000 – 2009
2004 [第13条] 卡尔·H·豪泽 , 大卫·本森 :
论高并发多功能程序设计的实用性和可取性。 ACSD系统 2004 : 115-124
1990 – 1999
1995 [公元24年] 斯蒂芬·泰特 , 大卫·本森 , 乔纳森·戈德斯廷 :
书评。 SIGACT新闻 26 ( 2 ) : 26-32 ( 1995 ) 1990 [公元23年] Jerzy Tiuryn公司 , 大卫·本森 :
自由过程代数中的不动点,第二部分。 西奥。 计算。 科学。 70 ( 2 ) : 179-192 ( 1990 )
1980 – 1989
1989 [公元22年] 大卫·本森 , Jerzy Tiuryn公司 :
自由过程代数中的不动点,第一部分。 西奥。 计算。 科学。 63 ( 三 ) : 275-294 ( 1989 ) 1988 [公元21年] 大卫·本森 , Ofer Ben-Shachar公司 :
自动机的相互模拟。 Inf.计算。 79 ( 1 ) : 60-83 ( 1988 ) 1987 [公元20年] 大卫·本森 :
并发性和交错性同样重要。 牛。 EATCS公司 33 : 54 ( 1987 ) [j19] 大卫·本森 , 伊雷恩·盖萨里安 :
递归格式的代数解。 J.计算。 系统。 科学。 35 ( 三 ) : 365-400 ( 1987 ) [公元18年] 大卫·本森 , 迈克尔·梅因 :
研讨会报告:第三次编程语言语义数学基础研讨会,1987年,新奥尔良。 ACM SIGPLAN通知 22 ( 9 ) : 38-43 ( 1987 ) [第12条] 大卫·本森 :
Milner过程的类别是精确的。 范畴理论与计算机科学 1987 : 71-97 [第11条] 大卫·本森 :
洗牌双代数。 MFPS公司 1987 : 616-637 1986 [公元17年] 大卫·本森 :
失败在成功设计中的作用。 ACM SIGSOFT软件。 工程注释 11 ( 1 ) : 15 ( 1986 ) [第10条] 大卫·本森 , Ofer Ben-Shachar公司 :
状态自动机的强互模拟。 低收入国家 1986 : 77-81 1985 [公元16年] 迈克尔·梅因 , 大卫·本森 :
自由半环表示和非决定论。 J.计算。 系统。 科学。 30 ( 三 ) : 318-328 ( 1985 ) 【c9】 大卫·本森 , Jerzy Tiuryn公司 :
具有内部作用的过程代数中的固定桥(初步注释)。 编程语义的数学基础 1985 : 53-58 1984 [公元15年] 迈克尔·梅因 , 大卫·本森 :
非确定性和并发程序的功能性优先。 信息控制。 62 ( 2/3 ) : 144-189 ( 1984 ) [公元14年] 大卫·本森 :
计数路径:作为线性代数的非决定论。 IEEE传输。 软件工程。 10 ( 6 ) : 785-794 ( 1984 ) 1983 [j13] 迈克尔·梅因 , 大卫·本森 :
“自然”语言问答程序的指称语义。 美国计算机学会。 语言学 9 ( 1 ) : 11-21 ( 1983 ) [公元12年] 理查德·洛伦茨 , 大卫·本森 :
确定性和非确定性流程图解释。 J.计算。 系统。 科学。 27 ( 三 ) : 400-433 ( 1983 ) 【c8】 迈克尔·梅因 , 大卫·本森 :
非确定性程序的功能行为。 FCT公司 1983 : 290-301 1982 [公元11年] 大卫·本森 :
在Scott Strachey风格的指称语义中,平行主义意味着非决定论。 数学。 系统。 理论 15 ( 三 ) : 267-275 ( 1982 ) 【c7】 大卫·本森 :
非确定性并行程序的机器级语义。 规划专题讨论会 1982 : 15-25 1981 [公元10年] 迈克尔·梅因 , 大卫·本森 :
自由上规则带。 西奥。 计算。 科学。 16 : 93-98 ( 1981 )
1970 – 1979
1979 [公元9年] 大卫·本森 :
非确定性递归程序中的参数传递。 J.计算。 系统。 科学。 19 ( 1 ) : 50-62 ( 1979 ) 【c6】 大卫·本森 , 布鲁斯·希尔迪奇 , J.丹比赫·斯塔基 :
铁杉的树木分析技术。 国际JCAI 1979 : 50-52 1977 [j8] 大卫·本森 :
规范形式语法的一些保留性质。 SIAM J.计算。 6 ( 2 ) : 381-402 ( 1977 ) [c5] 拉尔夫·D·杰福兹 , 大卫·本森 :
一种适用于表格分析方法的向量编码技术。 ACM-SE公司 1977 : 140-153 【c4】 大卫·本森 , 拉尔夫·D·杰夫兹 :
LR(k)分析器的并行分解(扩展抽象)。 ICALP公司 1977 : 76-86 1976 [j7] 大卫·本森 :
围棋游戏中的生活。 信息科学。 10 ( 1 ) : 17-29 ( 1976 ) 1975 [j6] 大卫·本森 :
导子范畴中的基本代数结构。 信息控制。 28 ( 1 ) : 1-29 ( 1975 ) [j5] 大卫·本森 :
语义保留翻译。 数学。 系统。 理论 8 ( 2 ) : 105-126 ( 1975 ) 1974 【j4】 大卫·本森 :
形式语言分析器的抽象机器理论。 信息学报 三 : 187-202 ( 1974 ) 【c3】 大卫·本森 :
形式语言解析器的抽象机器理论。 范畴理论在计算与控制中的应用 1974 : 106-111 1973 [j3] 大卫·本森 :
关于空词定义问题的另一条评论。 SIGACT新闻 5 ( 1 ) : 14-17 ( 1973 ) [注2] 大卫·本森 :
Aho&Ullman的LR(k)可行前缀定理的另一种证明。 SIGACT新闻 5 ( 4 ) : 11-14 ( 1973 ) 1970 [j1] 大卫·本森 :
语法和语义:范畴观。 信息控制。 17 ( 2 ) : 145-160 ( 1970 ) 【c2】 大卫·本森 :
句法线索。 重拍 1970 : 133-138
1960 – 1969
1969 【c1】 大卫·本森 :
推导代数和半自动解析器。 ACM全国会议 1969 : 1-9