1994年第5卷第5期目录

浏览其它刊期:

本期目录


	基于解释的算法构架的学习
	费宗铭,张家重,徐家福
	1994,5(5):1-7 [摘要(3773)] [PDF 392.65 K (3994)]

	数据并行的性能分析
	刘德才,王鼎兴,沈美明,郑纬民
	1994,5(5):8-15 [摘要(3774)] [PDF 411.17 K (3866)]

	面向对象逻辑语言SCKE中的限制推理
	金芝,胡守仁
	1994,5(5):16-25 [摘要(4077)] [PDF 431.54 K (3910)]

	测试集自动生成工具TUGEN的设计与实现
	郝瑞兵
	1994,5(5):26-38 [摘要(3200)] [PDF 548.64 K (3981)]

	数据流图的形式规范
	秦晓
	1994,5(5):39-45 [摘要(4857)] [PDF 791.14 K (4116)]

	利用算符分析的问题求解
	何钦铭,王申康,俞瑞钊
	1994,5(5):46-51 [摘要(3280)] [PDF 441.32 K (4397)]

	一种基于格局的程序分析方法
	邢光荣,郑国梁,李宣东
	1994,5(5):52-57 [摘要(3829)] [PDF 757.39 K (3942)]

	基于时区与时区估计的层次调度模型
	黄必清,张钹
	1994,5(5):58-64 [摘要(4285)] [PDF 432.96 K (3865)]