Contents

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

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

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

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

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

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

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

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

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