云南高校图书馆联盟文献共享服务平台- APLA语言

APLA语言: 作品数：8被引量：17H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：薛锦云左正康游珍骆健汪雄更多>>; 相关机构：江西师范大学武汉大学中国科学院大学江西省高性能计算技术重点实验室更多>>; 相关期刊：《软件学报》《计算机与现代化》《江西师范大学学报（自然科学版）》《计算机工程与科学》更多>>; 相关基金：国家自然科学基金江西省自然科学基金江西省教育厅科学技术研究项目江西师范大学青年成长基金更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

Apla中泛型约束机制研究被引量：13: 《软件学报》2015年第6期1340-1355,共16页左正康薛锦云; 国家自然科学基金(61462039;61020106009;61363012;61363013);江西省自然科学基金(20142BAB217023;20142BAB217026;20142BAB207026);江西省教育厅科技项目(GJJ14268); 泛型程序设计可大幅提高程序的可重用性、可靠性和开发效率.泛型约束机制是对泛型参数进行形式描述,并对其合法性进行检测及验证,从而保证泛型程序的可靠性和安全性.分析总结多种主流语言的泛型约束特性,存在难以描述及验证基于动态语...; 关键词：泛型约束机制 APLA语言代数结构动态语义约束安全性