Contents

AUTOMATIC SYNTHESIS OF SYSTOLIC ARRAYS-FP APPROACH Xia Xinjie,Sun Yongqiang and Hu Zhenjiang 1992,3(3):1-8 [Abstract(3498)]  [View PDF(4549)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(3341)]  [View PDF(4707)458.55 K]

USING EXPLICIT STRATEGIES TO GUIDE PROGRAM CONSTRUCTION Tan Qingping and Chen Huowang 1992,3(3):17-23 [Abstract(3651)]  [View PDF(4772)429.43 K]

A GENERAL SYNTAX ANALYSIS ALGORITHM BASED ON EXTENDED BNF GRAMMAR Yang Minghui and Guo Zhaode 1992,3(3):24-32 [Abstract(4867)]  [View PDF(5701)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(3600)]  [View PDF(4749)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(3686)]  [View PDF(4996)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(4377)]  [View PDF(4714)397.80 K]

NUMDL: A MODEL DESCRIPTION LANGUAGE Chen Shifu,Fan Liping,Xu Dianxiang and Lu Qingwen 1992,3(3):56-60 [Abstract(4288)]  [View PDF(5038)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(3114)]  [View PDF(4222)274.18 K]