1994年第5卷第9期目录

   
浏览其它刊期:  
  

本期目录

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