张福波
【姓名】 张福波
【职称】
【研究领域】 计算机硬件技术;计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 程序分片,片标,程序验证,结点,改进算法,语句,算法,直接后继,变量,程序动作,路径,流图,执行顺序,谓词,循环语句,有序对,强连通分支,对分,冗余,计算机学报,
【工作单位】 复旦大学
【曾工作单位】 复旦大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 0 1 0 1 97
中国期刊全文数据库    共找到2篇
[1]陆奇,张福波,钱家骅.程序分片:其改进算法与在程序验证中的应用[J]计算机学报.1988,(04)
[2]陆奇;张福波;钱家骅;.Program Slicing:Its Improved Algorithm and Application in Verification[J]Journal of Computer Science and Technology.1988,(01)
更多