代码生成技术

作品数：39被引量：87H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：吴泉源蔡燕刘涛蒋赢夏鑫更多>>
相关机构：西安电子科技大学南京航空航天大学浙江大学电子科技大学更多>>
相关期刊：《微处理机》《江西冶金》《电脑编程技巧与维护》《信息与电脑》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划教育部重点实验室开放基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Coq的矩阵代码生成技术被引量：1
《软件学报》2022年第6期2224-2245,共22页麻莹莹 陈钢 
矩阵程序在智能系统中扮演着越来越重要的角色.随着矩阵应用的复杂性日益增加,生成正确矩阵代码的难度也在不断变大.并行硬件能够极大地提高矩阵运算的速度,然而,使用并行硬件进行编程以实现并行运算,需要编程人员在程序中描述功能以及...
关键词：定理证明 矩阵代码生成 形式化工程数学 高阶定理证明 COQ 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部