论文部分内容阅读
泛型程序设计可大幅提高程序的可重用性、可靠性和开发效率．泛型约束机制是对泛型参数进行形式描述，并对其合法性进行检测及验证，从而保证泛型程序的可靠性和安全性．分析总结多种主流语言的泛型约束特性，存在难以描述及验证基于动态语义的复杂约束需求问题，与完整实现GP尚有距离；以抽象程序设计语言Apla为宿主语言，提出了基于代数结构及公理语义的泛型约束方法，给出了基本数据类型、自定义抽象数据类型和子程序的3类泛型约束机制，拓展了泛型程序设计约束的应用范围．同时，支持静态语法和动态语义层约束，提高了泛型约束的精确度；借