泛型程序设计可大幅提高程序的可重用性、可靠性和开发效率.泛型约束机制是对泛型参数进行形式描述,并对其合法性进行检测及验证,从而保证泛型程序的可靠性和安全性.分析总结多种主流语言的泛型约束特性,存在难以描述及验证基于动态语义的复杂约束需求问题,与完整实现GP尚有距离;以抽象程序设计语言Apla为宿主语言,提出了基于 ...
/dl/212910.html
标签：
apla
约束
机制
研究
Apla语言
代数结构
动态语义约束
安全性
上传时间：
2022-09-30
上传用户：art1543031321
