詹姆斯·C·金
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2000 – 2009
1990 – 1999
1980 – 1989
1982 [公元9年] 唐纳德·钱伯林 , 奥利维尔·伯特朗 , 迈克尔·古德费罗 , 詹姆斯·C·金 , 唐纳德·斯拉茨(Donald R.Slutz) , 斯蒂芬·托德 , 布拉德福德·W·韦德 :
JANUS:基于声明性标记的交互式文档格式设置工具。 IBM系统。 J。 21 ( 三 ) : 250-271 ( 1982 ) 1981 [j8] 詹姆斯·C·金 :
使用符号执行的程序简化。 ACM SIGSOFT软件。 工程注释 6 ( 1 ) : 9-14 ( 1981 ) 【c8】 唐纳德·张伯伦 , 詹姆斯·C·金 , 唐纳德·斯拉茨(Donald R.Slutz) , 斯蒂芬·托德 , 布拉德福德·W·韦德 :
JANUS:一个交互式文档合成系统。 SIGPLAN SIGOA文本处理研讨会 1981 : 82-91 1980 [j7] 詹姆斯·C·金 :
程序正确性:归纳断言方法。 IEEE传输。 软件工程。 6 ( 5 ) : 465-479 ( 1980 )
1970 – 1979
1978 [j6] 约翰·达林格 , 詹姆斯·C·金 :
符号执行在程序测试中的应用。 电脑类 11 ( 4 ) : 51-60 ( 1978 ) 【c7】 詹姆斯·C·金 :
程序验证展望(教程)。 ICSE公司 1978 : 71 1977 [j5] 詹姆斯·C·金 :
专家组:可靠软件语言设计的局限性。 ACM SIGSOFT软件。 工程注释 2 ( 三 ) : 11-12 ( 1977 ) 1976 【j4】 詹姆斯·C·金 :
符号执行和程序测试。 Commun公司。 ACM公司 19 ( 7 ) : 385-394 ( 1976 ) [j3] 西德尼·L·汉特勒 , 詹姆斯·C·金 :
程序正确性证明导论。 ACM计算。 Surv公司。 8 ( 三 ) : 331-353 ( 1976 ) 【c6】 詹姆斯·C·金 :
生成正确性证明的验证条件。 Fachtagungüber Programmiersprachen公司 1976 : 253-267 1975 【c5】 詹姆斯·C·金 :
一种新的程序测试方法。 可靠的软件 1975 : 228-233 1974 【c4】 詹姆斯·C·金 :
一种新的程序测试方法。 程序设计方法 1974 : 278-290 1973 【c3】 詹姆斯·C·金 :
抽象的机器和软件设计。 SIGPLAN-SIGOPS接口会议 1973 : 86-88 1972 [注2] 詹姆斯·C·金 , 罗伯特·弗洛伊德 :
一个面向解释的整数定理证明。 J.计算。 系统。 科学。 6 ( 4 ) : 305-323 ( 1972 ) 1971 [j1] 詹姆斯·C·金 :
证明程序正确。 IEEE传输。 计算机 20 ( 11 ) : 1331-1336 ( 1971 ) 【c2】 詹姆斯·C·金 :
程序验证程序。 IFIP大会(1) 1971 : 234-249 1970 【c1】 詹姆斯·C·金 , 罗伯特·弗洛伊德 :
一个面向解释的整数定理证明。 STOC公司 1970 : 169-179
![](https://dblp.org/img/cog.dark.24x24.png)