Volume 8,Issue 9,1997 Table of Contents

Other Issues:  
  
Contents

  • THE GROUP OF DATALOG PROGRAMS AND ITS APPLICATIONS
  • WANG Yunming and SHI Baile
  • 1997,8(9):641-646 [Abstract(2979)]  [View PDF(2623)421.31 K]
  • A VIRTUAL FILE SYSTEM OF FILE SYSTEM SERVER ON MICROKERNEL
  • ZHANG Bin and SUN Yufang
  • 1997,8(9):647-652 [Abstract(2209)]  [View PDF(2664)434.21 K]
  • A FRAMEWORK FOR INTERPROCEDURAL DATA-FLOW ANALYSIS
  • YU Weijiang,ZHU Genjiang and XIE Li
  • 1997,8(9):653-662 [Abstract(2839)]  [View PDF(3593)628.36 K]
  • A MODIFIED TEMPORAL LOGIC FOR REACTIVE SYSTEMS
  • JIA Guoping and ZHENG Guoliang
  • 1997,8(9):663-672 [Abstract(3977)]  [View PDF(2688)684.44 K]
  • COMPONENT CLASS, COMPONENT AND THEIR DEFINITION LANGUAGE AND OPERATION LANGUAGE
  • GU Ming and ZHONG Cuihao
  • 1997,8(9):673-679 [Abstract(2746)]  [View PDF(2628)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(2602)]  [View PDF(2623)477.91 K]
  • A MULTICONTEXT LOGIC USED FOR INTEGRATING HETEROGENEOUS DATABASES
  • LIU Haiyan,CHEN Huowang and LIU Fengqi
  • 1997,8(9):687-693 [Abstract(2550)]  [View PDF(2715)451.96 K]
  • COOZ:COMPLETE OBJECT-ORIENTED EXTENSION TO Z
  • YUAN Xiaodong and ZHENG Guoliang
  • 1997,8(9):694-700 [Abstract(2869)]  [View PDF(2814)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(3581)]  [View PDF(2829)494.75 K]
  • THE SIMPLIFICATION OF PRECONDITION IN Z SPECIFICATIONS
  • MIAO Huaikou
  • 1997,8(9):709-715 [Abstract(2688)]  [View PDF(2774)458.63 K]
  • MORPHOLOGIC GENERATION IN CHINESE-ENGLISH MACHINE TRANSLATION
  • HUANG Heyan and CHEN Zhaoxiong
  • 1997,8(9):716-721 [Abstract(2816)]  [View PDF(2626)429.20 K]