泛型程序设计可大幅提高程序的可重用性、可靠性和开发效率.泛型约束机制是对泛型参数进行形式描述,并对其合法性进行检测及验证,从而保证泛型程序的可靠性和安全性.分析总结多种主流语言的泛型约束特性,存在难以描述及验证基于动态语义的复杂约束需求问题,与完整实现GP尚有距离;以抽象程序设计语言Apla为宿主语言,提出了基于 ...
/dl/212910.html
标签: apla 约束 机制 研究 Apla语言 代数结构 动态语义约束 安全性
上传时间: 2022-09-30
上传用户:art1543031321
ARM的体系结构英文版 关于ARM的历史发展和ARM的结构英文论文
/dl/201424.html
标签: 体系结构
上传时间: 2021-01-02
上传用户:frank_xpy
提出了一个欠采样中频收发器的体系结构,它在中频数字化以前先通过欠采样将中频频率变到一个较低的频率。该结构在ADC 之前不需要镜像抑制滤波器且只有一条模拟路径,通过在数字域产生I/Q 路径避免了
/dl/202107.html
上传时间: 2021-01-08
上传用户:wzwgeorge
清华大学出版社,ARM体系结构与编程,杜春雷编著。本书内容有:ARM体系介绍、ARM程序设计模型、ARM汇编语言程序设计、ARM C/C++语言程序设计、ARM连接器的使用、ARM集成开发环境CodeWarriorIED的介绍及高性能的调试工具ADW的使用,以及一些典型的基于ARM体系的嵌入式应用系统设计时的基本技术。第1-252页。 ...
/dl/202187.html
标签: 体系结构
上传时间: 2021-01-09
上传用户:dwen
提出了基于B/S 和C/S 组合结构的七号信令网络监测管理软件系统体系结构。这种结构是典型的三层体系结构:客户显示层、中间业务逻辑层以及数据层,同时对每层中涉及到的相关技术进行了阐述,并给出了
/dl/202685.html
标签: 体系结构
上传时间: 2021-01-17
上传用户:青芒
电子工程师基本知识结构简析合格的电子工程师需要掌握的知识和技能 愚以为,掌握了一下的硬件和软件知识,基本上就可以成为一个合格的电子工程师: 第一部分:硬件知识 一、 数字信号 1、 TTL和带缓冲的TTL信号 2、 RS232和定义 3、 RS485/422(平衡信号) 4、 干接点信号 二、 模拟 ...
/dl/204132.html
上传时间: 2021-02-26
上传用户:dtwry1989
·DSP图像处理结构设计探讨
/dl/204254.html
上传时间: 2021-03-03
上传用户:huzhouwen
介绍设计特点、方法及自动化过程的实现 机械运动及分析 机械结构创新设计
/dl/204436.html
上传时间: 2021-03-10
上传用户:lisk919826
《建筑结构荷载规范》(GB50009-2012)
/dl/204551.html
标签: 建筑结构荷载规范
上传时间: 2021-03-14
上传用户:qq3199757600
大话数据结构电子书,使用C语言,图文并茂,内容通俗易懂,学习数据结构基础的好资料。
/dl/204596.html
标签: 数据结构
上传时间: 2021-03-16
上传用户:华南