Volume 3,Issue 3,1992 Table of Contents

Other Issues:  
  
Contents

  • AUTOMATIC SYNTHESIS OF SYSTOLIC ARRAYS-FP APPROACH
  • Xia Xinjie,Sun Yongqiang and Hu Zhenjiang
  • 1992,3(3):1-8 [Abstract(2649)]  [View PDF(2767)439.05 K]
  • DESCRIPTION OF PARALLEL ALGORITHMS BY FP AND DECIDABILITY OF ITS SYSTOLIC IMPLEMENTATION
  • Hu Zhenjiang and Sun Yongqiang
  • 1992,3(3):9-16 [Abstract(2606)]  [View PDF(2855)458.55 K]
  • USING EXPLICIT STRATEGIES TO GUIDE PROGRAM CONSTRUCTION
  • Tan Qingping and Chen Huowang
  • 1992,3(3):17-23 [Abstract(2820)]  [View PDF(2939)429.43 K]
  • A GENERAL SYNTAX ANALYSIS ALGORITHM BASED ON EXTENDED BNF GRAMMAR
  • Yang Minghui and Guo Zhaode
  • 1992,3(3):24-32 [Abstract(3861)]  [View PDF(3882)501.15 K]
  • AN APPROACH TO EXECUTABLE SPECIFICATIONS BASED ON FORMAL SOURCE TO SOURCE CONVERSION
  • Zhang Xinger and Zhu Xiaojun
  • 1992,3(3):33-39 [Abstract(2754)]  [View PDF(2944)448.00 K]
  • SCHEME SIMPLIFICATION ORDERING AND TERMINATION OF TERM REWRITING SYSTEM
  • Lin Kai,Sun Yongqiang and Lu Ruzhan
  • 1992,3(3):40-48 [Abstract(2902)]  [View PDF(3094)550.34 K]
  • AN ALGORITHM FOR COMPUTING S-INVARIANTS FOR HIGH LEVEL PETRI NETS
  • Lin Chuang and Zhang Tong
  • 1992,3(3):49-55 [Abstract(3318)]  [View PDF(2863)397.80 K]
  • NUMDL: A MODEL DESCRIPTION LANGUAGE
  • Chen Shifu,Fan Liping,Xu Dianxiang and Lu Qingwen
  • 1992,3(3):56-60 [Abstract(3380)]  [View PDF(3224)329.69 K]
  • THE EXPANSION OF AN EXPRESSION CLASS AND ITS CANONICAL FORM
  • Guo Fushun,Huang Zhongwei and Luo Xin
  • 1992,3(3):61-64 [Abstract(2335)]  [View PDF(2546)274.18 K]