肯尼思·沃尔特
人员信息
优化列表
1970 – 1979
1976 [j1] 肯尼思·沃尔特 :
编译器优化的递归分析。 Commun公司。 ACM公司 19 ( 9 ) : 514-516 ( 1976 ) 1975 【c2】 梅迪·贾萨耶里 , 肯尼思·沃尔特 :
交替语义计算器。 ACM年会 1975 : 230-234 【c1】 肯尼思·沃尔特 , 塞缪尔·沙恩 , 威廉·奥格登 , 威廉·C·罗兹 , D.G.Shumway公司 , D.D.谢弗 , K.J.比巴 , 弗兰克林·T·布拉德肖 , S.R.艾姆斯 , J.M.吉利根 :
安全内核的结构化规范。 可靠的软件 1975 : 285-293