冯玉琳
【姓名】 冯玉琳
【职称】
【研究领域】 计算机软件及计算机应用;数学;计算机硬件技术;
【研究方向】
【发表文献关键词】 状态表,错误检测,程序逻辑,状态归并,循环不变式,程序证明,程序分析,信息树,运动序列,文法,产生式,FIRST,输出断言,程序正确性,分析算法,GOTO,计算机学报,自动生成,完全集,终结程序,逻辑...
【工作单位】 中国科学技术大学
【曾工作单位】 中国科学技术大学;
【所在地域】 安徽合肥
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/21 1 0 17 29 1222
中国期刊全文数据库    共找到21篇
[1]冯玉琳.LBLR(k)优化中的错误检测[J]计算机学报.1980,(03)
[2]冯玉琳.程序验证的一个逻辑系统[J]自然杂志.1980,(11)
[3]冯玉琳;.SIMULA和CLASS[J]电子计算机动态.1980,(06)
[4]冯玉琳;.程序自动证明技术[J]计算机科学.1981,(02)
[5]冯玉琳.程序逻辑基础和强终结定理[J]计算机学报.1982,(01)
[6]冯玉琳;.程序逻辑概要[J]计算机科学.1982,(04)
[7]冯玉琳.程序逻辑和程序正确性推导[J]计算机学报.1983,(01)
[8]仲萃豪,冯玉琳.程序设计方法学[J]计算机研究与发展.1983,(03)
[9]仲萃豪,冯玉琳.程序设计方法学(下)[J]计算机研究与发展.1983,(04)
[10]冯玉琳.程序形式语义的一致性[J]中国科学技术大学学报.1983,(01)
更多