Interprocedural constant range propagation and alias analysis by multiple version method Fang XianhongZhang ZhaoqingQiao Ruliang Regular Papers Pages: 403 - 416
K-Dimensional Optimal Parallel Algorithm for the solution of a general class of recurrence equations Gao QingshiLiu Zhiyong Regular Papers Pages: 417 - 424
Logical object as a basis of knowledge based systems Xu DianxiangZheng Guoliang Regular Papers Pages: 425 - 438
Minimal model semantics for sorted constraint representation Liao LejianShi Zhongzhi Regular Papers Pages: 439 - 446
ICTSSE: An object-oriented IC test software supporting environment Sun YuningWang XiaomingShi Wanchun Regular Papers Pages: 447 - 454
A general architecture model of CPDL Interpreter Xu FupeiLuo ChiJin Yadong Regular Papers Pages: 463 - 469
Shared variable oriented parallel precompiler for SPMD model Kang JichangZhu Yi’anYing Bishan Brief Papers Pages: 476 - 480