1992年第3卷第3期目录

浏览其它刊期:

本期目录


	脉动阵列的自动综合—FP方法
	夏心杰,孙永强,胡振江
	1992,3(3):1-8 [摘要(3482)] [PDF 439.05 K (4502)]

	并行算法的FP描述及其脉动化的判定
	胡振江,孙永强
	1992,3(3):9-16 [摘要(3335)] [PDF 458.55 K (4663)]

	使用显式策略进行程序构造
	谭庆平,陈火旺
	1992,3(3):17-23 [摘要(3645)] [PDF 429.43 K (4721)]

	基于扩展的BNF文法的通用语法分析算法
	杨明辉,郭肇德
	1992,3(3):24-32 [摘要(4853)] [PDF 501.15 K (5656)]

	基于形式源级转换的可执行规格说明技术
	张幸儿,朱晓军
	1992,3(3):33-39 [摘要(3595)] [PDF 448.00 K (4701)]

	模式化简序与重写系统的终止性
	林凯,孙永强,陆汝占
	1992,3(3):40-48 [摘要(3679)] [PDF 550.34 K (4953)]

	计算高级Petri网S-不变量的一种简单算法
	林闯,张彤
	1992,3(3):49-55 [摘要(4365)] [PDF 397.80 K (4674)]

	模型描述语言NUMDL的设计与实现
	陈世福,樊莉萍,徐殿祥,陆庆文
	1992,3(3):56-60 [摘要(4284)] [PDF 329.69 K (4992)]

	一类表达式及其典型形式的推广
	郭福顺,黄仲伟,罗昕
	1992,3(3):61-64 [摘要(3107)] [PDF 274.18 K (4179)]