屈延文
【姓名】 屈延文
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 布尔差分,波形字,敏化,不变式,多通路,程序员,软件工程,软件工程实践,单通路,D算法,主程序员,第四代语言,波形法,指称语义,模拟算法,属性文法,面向过程,通路,结构程序设计,软件工具,软件自动生成...
【工作单位】 华北计算技术研究所
【曾工作单位】 华北计算技术研究所;
【所在地域】 黑龙江
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/13 0 0 10 23 492
中国期刊全文数据库    共找到13篇
[1]屈延文.乏晰边沿的时序电路模型[J]计算机学报.1979,(02)
[2]章绵,屈延文.多变元布尔差分及多通路敏化定理[J]计算机学报.1980,(02)
[3]屈延文,李辛.波形法逻辑模拟算法——一个面向过程的算法[J]计算机学报.1981,(05)
[4]屈延文,李辛.NCI软件工程实践[J]计算机工程与应用.1983,(01)
[5]王稚慧,屈延文.不变式产生器——程序验证的重要工具[J]计算机学报.1984,(03)
[6]屈延文;蔡林;宋嘉;吕旭;.指称语义的研究与实践[J]计算机科学.1984,(05)
[7]屈延文;.编译程序的范式结构及用属性文法进行编译程序设计(上)[J]计算机研究与发展.1985,(10)
[8]屈延文;.编译程序的范式结构及用属性文法进行编译程序设计(下)[J]计算机研究与发展.1985,(11)
[9]屈延文;吕旭;蔡林;宋嘉;.属性文法的研究与应用[J]计算机科学.1985,(02)
[10]屈延文.NCI软件自动生成技术的研究[J]计算机工程与应用.1986,(01)
更多