顺序程序并行转换系统HZPARA中可重用算法库及其管理系统  

The Global Properties of Valid Formulas in Modal Logic K

作　　者：彭国强[1] 刘中柱[1] 刘键[1] 

机构地区：[1]华中理工大学计算机系

出　　处：《计算机应用研究》1996年第3期32-34,共3页Application Research of Computers

基　　金：国家八六三资助

摘　　要：本文介绍了顺序程序并行转换系统ＨＺＰＡＲＡ中可重用算法库及其管理系统的设计思想，软构件的分类、查询、管理维护方法，为用户挖掘算法级并行性提供了方便。

关 键 词：HZPARA 软件重用 算法库 管理系统 程序设计 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]