爱德华·阿什克罗夫特
人员信息
优化列表
2000 – 2009
2000 [第11条] 西里莎·梅迪迪 , 爱德华·阿什克罗夫特 :
移动无线ATM网络的性能分析。 PDPTA公司 2000
1990 – 1999
1991 [第10条] R.贾加纳森 , 爱德华·阿什克罗夫特 :
函数语言并行实现中的容错。 FTCS(飞行时间控制系统) 1991 : 256-265
1980 – 1989
1986 【c9】 Leah H.Jamieson(莉亚·H·杰米森) , 爱德华·阿什克罗夫特 :
用于数字滤波的数据流算法。 ICASSP公司 1986 : 1177-1180 【c8】 Leah H.Jamieson(莉亚·H·杰米森) , 爱德华·阿什克罗夫特 :
数据流信号处理算法的性能分析。 ICPP公司 1986 : 608-610 [第1页] 爱德华·阿什克罗夫特 :
数据流和教育:数据驱动和需求驱动的分布式计算。 并发性的当前趋势 1986 : 1-50 1982 [公元10年] 爱德华·阿什克罗夫特 , 威廉·沃奇 :
R/表示语义。 ACM事务处理。 程序。 语言系统。 4 ( 2 ) : 283-294 ( 1982 ) 1980 [公元9年] 爱德华·阿什克罗夫特 , 威廉·沃奇 :
关于Lucid的一些常见误解。 ACM SIGPLAN通知 15 ( 10 ) : 15-26 ( 1980 ) [j8] 马修·轩尼诗 , 爱德华·阿什克罗夫特 :
非确定性类型lambda-演算的数学语义。 西奥。 计算。 科学。 11 : 227-245 ( 1980 )
1970 – 1979
1979 [j7] 爱德华·阿什克罗夫特 , 费斯·菲奇 :
不动点理论的广义设置。 西奥。 计算。 科学。 9 : 243-256 ( 1979 ) 1978 【c7】 爱德华·阿什克罗夫特 , 威廉·沃奇 :
子句:Lucid中的范围结构和定义函数。 POPL公司 1978 : 17-22 1977 [j6] 爱德华·阿什克罗夫特 , 威廉·沃奇 :
Lucid,一种带迭代的非过程语言。 Commun公司。 ACM公司 20 ( 7 ) : 519-526 ( 1977 ) [j5] 爱德华·阿什克罗夫特 , 威廉·沃奇 :
勘误表:Lucid-用于编写和证明程序的正式系统。 SIAM J.计算。 6 ( 1 ) : 200 ( 1977 ) 【c6】 爱德华·阿什克罗夫特 , 威廉·沃奇 :
Lucid中的间歇性断言证明。 IFIP大会 1977 : 723-726 【c5】 马修·轩尼诗 , 爱德华·阿什克罗夫特 :
参数传递机制和不确定性。 STOC公司 1977 : 306-311 1976 【j4】 爱德华·阿什克罗夫特 , 威廉·沃奇 :
Lucid-用于编写和证明程序的正式系统。 SIAM J.计算。 5 ( 三 ) : 336-354 ( 1976 ) 【c4】 马修·轩尼诗 , 爱德华·阿什克罗夫特 :
非决定论的语义学。 ICALP公司 1976 : 478-493 1975 [j3] 爱德华·阿什克罗夫特 :
证明关于并行程序的断言。 J.计算。 系统。 科学。 10 ( 1 ) : 110-135 ( 1975 ) [注2] 爱德华·阿什克罗夫特 , 佐哈尔·曼纳 :
将程序模式转换为While-Schemas。 SIAM J.计算。 4 ( 2 ) : 125-146 ( 1975 ) 1974 【c3】 爱德华·阿什克罗夫特 :
面向APL编译器。 APL公司 1974 : 28-37 1973 [j1] 爱德华·阿什克罗夫特 , 佐哈尔·曼纳 , 阿米尔·普努利 :
一元函数图式的可判定性质。 美国临床医学杂志 20 ( 三 ) : 489-499 ( 1973 ) 1972 【c2】 爱德华·阿什克罗夫特 :
程序正确性方法和语言定义。 证明关于程序的断言 1972 : 51-57 1971 【c1】 爱德华·阿什克罗夫特 , 佐哈尔·曼纳 :
将“转到”程序翻译为“While”程序。 IFIP大会(1) 1971 : 250-255 1970 【b1】 爱德华·阿什克罗夫特 :
应用于计算机程序语义的数学逻辑。 英国伦敦帝国理工学院, 1970