约翰逊·M·哈特
人员信息
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
1990 – 1999
1996 【c2】 约瑟夫·科穆齐 , 约翰逊·M·哈特 :
使用最薄弱的先决条件编程切片。 失效模式与后果 1996 : 557-575 【c1】 约翰逊·M·哈特 , 安东尼奥·皮萨雷洛 :
2000年系统校正的可扩展自动化过程。 ICSE公司 1996 : 475-484 1995 [公元14年] 约翰逊·M·哈特 :
具有软件维护中逻辑代码分析的经验。 柔和。 实际。 支出。 25 ( 11 ) : 1243-1262 ( 1995 )
1980 – 1989
1982 [j13] 约翰逊·M·哈特 :
置换反演和多维累积分布函数。 信息处理。 莱特。 14 ( 5 ) : 218-222 ( 1982 ) [公元12年] 安东尼·巴克斯特 , 约翰逊·M·哈特 :
软件分段虚拟内存。 柔和。 实际。 支出。 12 ( 2 ) : 185-194 ( 1982 ) 1980 [公元11年] 约翰逊·M·哈特 :
严格上下文敏感语法的派生结构。 信息控制。 45 ( 1 ) : 68-89 ( 1980 ) [公元10年] 约翰逊·M·哈特 :
使用句法和完全二分复合dag快速识别Baxter置换。 国际J并行程序。 9 ( 4 ) : 307-321 ( 1980 )
1970 – 1979
1979 [公元9年] 罗纳德·奥尔特 , 约翰逊·M·哈特 :
枚举语法图和派生格。 国际J并行程序。 8 ( 4 ) : 261-277 ( 1979 ) 1976 [j8] 约翰逊·M·哈特 :
短语结构语法中的左右分析。 信息控制。 32 ( 三 ) : 242-262 ( 1976 ) [j7] 约翰逊·M·哈特 :
短语结构语法的派生语言。 J.计算。 系统。 科学。 12 ( 1 ) : 64-79 ( 1976 ) [j6] 约翰逊·M·哈特 :
局部辅助语言的递归生成。 数学。 系统。 理论 9 ( 4 ) : 315-326 ( 1976 ) 1975 [j5] 约翰逊·M·哈特 :
派生语言和句法范畴。 信息控制。 28 ( 三 ) : 204-220 ( 1975 ) 1974 【j4】 约翰逊·M·哈特 :
短语结构语法派生语言的接受者。 信息控制。 25 ( 1 ) : 75-92 ( 1974 ) [j3] 约翰逊·M·哈特 :
局部伴随语言的模糊性和决策问题。 J.计算。 系统。 科学。 8 ( 1 ) : 8-21 ( 1974 ) [注2] 约翰逊·M·哈特 :
辅助语言的一类推下接受子。 IEEE传输。 计算机 23 ( 5 ) : 449-455 ( 1974 ) 1973 [j1] 约翰逊·M·哈特 :
线性局部伴随语言的无限层次。 信息控制。 23 ( 三 ) : 245-259 ( 1973 )
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)