| | 1994年第5卷第9期目录
本期目录 | | | 一个从中间语言生成目标语言的原理和方法 | | | 卞世力,姚天顺,金鸿 | | | 1994,5(9):1-8 | | | [摘要](4435) [PDF 383.43 K](5386) | | | 基于反射的规划方法 | | | 李永成,张钹 | | | 1994,5(9):9-15 | | | [摘要](3999) [PDF 431.85 K](5800) | | | 一个面向对象的二级并发模型 | | | 王戟,陈火旺 | | | 1994,5(9):16-23 | | | [摘要](4371) [PDF 423.56 K](4922) | | | 事件代数与主动知识库系统 | | | 何新贵 | | | 1994,5(9):23-29 | | | [摘要](4091) [PDF 478.38 K](5379) | | | 增量静态语义分析的一个对象模型 | | | 徐智晨,钱家骅 | | | 1994,5(9):30-37 | | | [摘要](4306) [PDF 475.30 K](5363) | | | SDL支撑系统 | | | 李志斌,曹东启 | | | 1994,5(9):38-43 | | | [摘要](4308) [PDF 504.00 K](5796) | | | 具有无损联结性且保持依赖性关系模式的BCNF完备分解算法 | | | 徐庆生,周行仁 | | | 1994,5(9):44-48 | | | [摘要](5995) [PDF 366.85 K](5714) | | | 基于大型计算机系统的办公室应用支持环境 | | | 宋传杰,丁兆迎,董继润 | | | 1994,5(9):49-55 | | | [摘要](4407) [PDF 323.56 K](5265) | | | 关于交替的ω─有穷自动机的接受条件 | | | 周清雷,周文俊,庄雷,苏锦祥 | | | 1994,5(9):56-58 | | | [摘要](4685) [PDF 457.09 K](5655) | | | 一个模糊时态关系代数 | | | 张师超,罗旭东 | | | 1994,5(9):59-64 | | | [摘要](4816) [PDF 188.44 K](5316) | |
|