 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
| |
1992年第3卷第3期目录
本期目录 | | | 脉动阵列的自动综合—FP方法 | | | 夏心杰,孙永强,胡振江 | | | 1992,3(3):1-8 [摘要(2683)] [PDF 439.05 K (2788)] | | | | | 并行算法的FP描述及其脉动化的判定 | | | 胡振江,孙永强 | | | 1992,3(3):9-16 [摘要(2635)] [PDF 458.55 K (2880)] | | | | | 使用显式策略进行程序构造 | | | 谭庆平,陈火旺 | | | 1992,3(3):17-23 [摘要(2862)] [PDF 429.43 K (2968)] | | | | | 基于扩展的BNF文法的通用语法分析算法 | | | 杨明辉,郭肇德 | | | 1992,3(3):24-32 [摘要(3902)] [PDF 501.15 K (3914)] | | | | | 基于形式源级转换的可执行规格说明技术 | | | 张幸儿,朱晓军 | | | 1992,3(3):33-39 [摘要(2789)] [PDF 448.00 K (2971)] | | | | | 模式化简序与重写系统的终止性 | | | 林凯,孙永强,陆汝占 | | | 1992,3(3):40-48 [摘要(2939)] [PDF 550.34 K (3121)] | | | | | 计算高级Petri网S-不变量的一种简单算法 | | | 林闯,张彤 | | | 1992,3(3):49-55 [摘要(3348)] [PDF 397.80 K (2891)] | | | | | 模型描述语言NUMDL的设计与实现 | | | 陈世福,樊莉萍,徐殿祥,陆庆文 | | | 1992,3(3):56-60 [摘要(3424)] [PDF 329.69 K (3252)] | | | | | 一类表达式及其典型形式的推广 | | | 郭福顺,黄仲伟,罗昕 | | | 1992,3(3):61-64 [摘要(2372)] [PDF 274.18 K (2568)] | | | |
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|
