基于PAR方法和PAR平台的泛型程序设计关键技术研究

使用泛型程序设计技术可以大幅度提高程序的可重用性、可靠性和开发效率，使建设软件构件工厂的理想得以实现。本项研究基于申请者在8项国家级课题研究中形成的软件形式化开发的PAR方法和PAR平台，在进一步完善自定义Radl语言和Ap1a语言已有泛型机制的基础上, 提出并实现基于逻辑和代数结构的参数约束机制，定义并实现高阶泛型机制，研究泛型算法和泛型程序正确的理论标准，提出设计和证明泛型算法和泛型程序的新方法,并探索用范畴论描述推导和证明泛型算法和泛型程序的过程，给出泛型算法和泛型程序正确的范畴论解释。这项研究的成功可以使PAR方法和PAR平台全面实现泛型程序设计功能，在软件自动生成和形式化开发中发挥更大的作用，并克服隐式泛型的局限性，还可为国际泛型程序设计关键技术的解决提供切实可行的方案，使我国这方面的研究进入国际先进行列，具有较高的理论和实际应用价值。