Contents

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

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

A GENERAL SYNTAX ANALYSIS ALGORITHM BASED ON EXTENDED BNF GRAMMAR Yang Minghui and Guo Zhaode 1992,3(3):24-32 [Abstract(5441)]  [View PDF(6721)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(4299)]  [View PDF(5671)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(4322)]  [View PDF(6033)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(4953)]  [View PDF(5739)397.80 K]

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