1994年第5卷第5期目录
基于解释的算法构架的学习费宗铭,张家重,徐家福1994,5(5):1-7 [摘要(3929)] [PDF(4833)392.65 K][HTML(0)]数据并行的性能分析刘德才,王鼎兴,沈美明,郑纬民1994,5(5):8-15 [摘要(3902)] [PDF(4616)411.17 K][HTML(0)]面向对象逻辑语言SCKE中的限制推理金芝,胡守仁1994,5(5):16-25 [摘要(4205)] [PDF(4699)431.54 K][HTML(0)]测试集自动生成工具TUGEN的设计与实现郝瑞兵1994,5(5):26-38 [摘要(3359)] [PDF(4761)548.64 K][HTML(0)]数据流图的形式规范秦晓1994,5(5):39-45 [摘要(5120)] [PDF(4929)791.14 K][HTML(0)]利用算符分析的问题求解何钦铭,王申康,俞瑞钊1994,5(5):46-51 [摘要(3400)] [PDF(5177)441.32 K][HTML(0)]一种基于格局的程序分析方法邢光荣,郑国梁,李宣东1994,5(5):52-57 [摘要(3924)] [PDF(4708)757.39 K][HTML(0)]基于时区与时区估计的层次调度模型黄必清,张钹1994,5(5):58-64 [摘要(4421)] [PDF(4609)432.96 K][HTML(0)]
