1. Verification of systolic array: An FP functional approach

   • Sun Yongqiang

   Regular Papers Pages: 81 - 101

2. A new method for describing the AND-OR-parallel execution of logic programs

   • Sun Chengzheng
   • Tzu Yungui

   Regular Papers Pages: 102 - 112

3. Extending the object-oriented paradigm for supporting complex objects

   • Chen Qiming

   Regular Papers Pages: 113 - 130

4. Data dependencies in database with incomplete information

   • Zhang Yan
   • He Jichao

   Regular Papers Pages: 131 - 138

5. Transaction management in distributed database system POREL

   • Wang Hanhu

   Regular Papers Pages: 139 - 146

6. Ring delay chain for exact measure of pulse cycle error

   • Yin Yanzhi
   • Chen Changlin
   • Ding Shixiang

   Regular Papers Pages: 147 - 152

7. An expert system for robot transfer planning

   • Cai Zixing

   Regular Papers Pages: 153 - 160