Volume 3,Issue 3,1992 Table of Contents
AUTOMATIC SYNTHESIS OF SYSTOLIC ARRAYS-FP APPROACHXia Xinjie,Sun Yongqiang and Hu Zhenjiang1992,3(3):1-8 [Abstract(3406)] [View PDF(3983)439.05 K]DESCRIPTION OF PARALLEL ALGORITHMS BY FP AND DECIDABILITY OF ITS SYSTOLIC IMPLEMENTATIONHu Zhenjiang and Sun Yongqiang1992,3(3):9-16 [Abstract(3292)] [View PDF(4141)458.55 K]USING EXPLICIT STRATEGIES TO GUIDE PROGRAM CONSTRUCTIONTan Qingping and Chen Huowang1992,3(3):17-23 [Abstract(3587)] [View PDF(4190)429.43 K]A GENERAL SYNTAX ANALYSIS ALGORITHM BASED ON EXTENDED BNF GRAMMARYang Minghui and Guo Zhaode1992,3(3):24-32 [Abstract(4777)] [View PDF(5146)501.15 K]AN APPROACH TO EXECUTABLE SPECIFICATIONS BASED ON FORMAL SOURCE TO SOURCE CONVERSIONZhang Xinger and Zhu Xiaojun1992,3(3):33-39 [Abstract(3544)] [View PDF(4156)448.00 K]SCHEME SIMPLIFICATION ORDERING AND TERMINATION OF TERM REWRITING SYSTEMLin Kai,Sun Yongqiang and Lu Ruzhan1992,3(3):40-48 [Abstract(3636)] [View PDF(4404)550.34 K]AN ALGORITHM FOR COMPUTING S-INVARIANTS FOR HIGH LEVEL PETRI NETSLin Chuang and Zhang Tong1992,3(3):49-55 [Abstract(4290)] [View PDF(4188)397.80 K]NUMDL: A MODEL DESCRIPTION LANGUAGEChen Shifu,Fan Liping,Xu Dianxiang and Lu Qingwen1992,3(3):56-60 [Abstract(4228)] [View PDF(4479)329.69 K]THE EXPANSION OF AN EXPRESSION CLASS AND ITS CANONICAL FORMGuo Fushun,Huang Zhongwei and Luo Xin1992,3(3):61-64 [Abstract(3038)] [View PDF(3684)274.18 K]