Contents

THE GROUP OF DATALOG PROGRAMS AND ITS APPLICATIONS WANG Yunming and SHI Baile 1997,8(9):641-646 [Abstract(4086)]  [View PDF(4626)421.31 K]

A VIRTUAL FILE SYSTEM OF FILE SYSTEM SERVER ON MICROKERNEL ZHANG Bin and SUN Yufang 1997,8(9):647-652 [Abstract(3407)]  [View PDF(4683)434.21 K]

A FRAMEWORK FOR INTERPROCEDURAL DATA-FLOW ANALYSIS YU Weijiang,ZHU Genjiang and XIE Li 1997,8(9):653-662 [Abstract(4017)]  [View PDF(5759)628.36 K]

A MODIFIED TEMPORAL LOGIC FOR REACTIVE SYSTEMS JIA Guoping and ZHENG Guoliang 1997,8(9):663-672 [Abstract(5073)]  [View PDF(4724)684.44 K]

COMPONENT CLASS, COMPONENT AND THEIR DEFINITION LANGUAGE AND OPERATION LANGUAGE GU Ming and ZHONG Cuihao 1997,8(9):673-679 [Abstract(3922)]  [View PDF(4820)459.12 K]

OPEN STRUCTURE MODEL OF DATA INTEGRATION FOR CAPP SYSTEM CAO Shangwen,KONG Fansheng,DONG Jinxiang and HE Zhijun 1997,8(9):680-686 [Abstract(3766)]  [View PDF(4734)477.91 K]

A MULTICONTEXT LOGIC USED FOR INTEGRATING HETEROGENEOUS DATABASES LIU Haiyan,CHEN Huowang and LIU Fengqi 1997,8(9):687-693 [Abstract(3632)]  [View PDF(4822)451.96 K]

COOZ:COMPLETE OBJECT-ORIENTED EXTENSION TO Z YUAN Xiaodong and ZHENG Guoliang 1997,8(9):694-700 [Abstract(3975)]  [View PDF(4930)452.90 K]

OPTIMIZATION OF ROSENBROCK S FUNCTION BASED ON GENETIC ALGORITHMS LIANG Yanchun,ZHOU Chunguang and LI Shoufan 1997,8(9):701-708 [Abstract(4926)]  [View PDF(4995)494.75 K]

THE SIMPLIFICATION OF PRECONDITION IN Z SPECIFICATIONS MIAO Huaikou 1997,8(9):709-715 [Abstract(3940)]  [View PDF(4989)458.63 K]

MORPHOLOGIC GENERATION IN CHINESE-ENGLISH MACHINE TRANSLATION HUANG Heyan and CHEN Zhaoxiong 1997,8(9):716-721 [Abstract(4045)]  [View PDF(4801)429.20 K]