Contents

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

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

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

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

COMPONENT CLASS, COMPONENT AND THEIR DEFINITION LANGUAGE AND OPERATION LANGUAGE GU Ming and ZHONG Cuihao 1997,8(9):673-679 [Abstract(4613)]  [View PDF(5686)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(4430)]  [View PDF(5523)477.91 K]

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

COOZ:COMPLETE OBJECT-ORIENTED EXTENSION TO Z YUAN Xiaodong and ZHENG Guoliang 1997,8(9):694-700 [Abstract(4567)]  [View PDF(5804)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(5547)]  [View PDF(5882)494.75 K]

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

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