Contents

A COMPACT (a, b) TREE Zhang Xi and Li Wanxue 1991,2(4):1-11 [Abstract(3909)]  [View PDF(4436)588.76 K]

EAAS: AN AUTOMATIC ABSTRACT SYSTEM Li Xiaobin and Xu Yue 1991,2(4):12-18 [Abstract(4132)]  [View PDF(5547)449.95 K]

A SEQUENTIAL COMPILING TECHNIQUE FOR PARLOG Zheng Weimin and Yang Heping 1991,2(4):19-22 [Abstract(4182)]  [View PDF(4869)323.23 K]

PROOF STRATEGIES AND VALIDITY He Pei 1991,2(4):23-30 [Abstract(3841)]  [View PDF(4420)398.72 K]

SYNTAX AND OPERATIONAL SEMANTICS OF RECURSIVE PROGRAMS BASED ON PREDICATE LOGIC Shao Zhiqing 1991,2(4):31-35 [Abstract(3722)]  [View PDF(4808)316.82 K]

AN INFORMATION RETRIEVAL SYSTEM FOR SUPPORTING SOFTWARE REUSE-KDZ Zhang Shaoping,Wang Huaimin and Chen Huowang 1991,2(4):36-41 [Abstract(3549)]  [View PDF(4571)375.46 K]

MODULE SILICON COMPILATION EXPERT SYSTEM-SCES Yang Qiaolin 1991,2(4):42-47 [Abstract(4189)]  [View PDF(4509)409.35 K]

KBE-PASCAL: KNOWLEDGE BASED PROGRAM EDITING Zheng Guoliang and Tang Qing 1991,2(4):48-53 [Abstract(3344)]  [View PDF(4445)418.51 K]

CONCEPTUALLY ORIENTED DESIGN GENERIC KNOWLEDGE ACQUISITION SYSTEM Wang Shenkang 1991,2(4):54-60 [Abstract(3864)]  [View PDF(4492)455.92 K]