資料介紹
部分求值技術在程序優化及軟件自動生成等方面起著極為重要的作用,將部分求值技術應用到編譯器測試中,為此,設計了一種C語言的子集peC語言,給出了該語言的部分求值策略的形式化描述,實現了peC語言的部分求值器,設計了基于部分求值技術的編譯器測試框架.通過實驗,該方法可以檢測出大部分之前其他方法發現的GCC,LLVM編譯器中的錯誤,此外還發現了其他方法不能發現的錯誤,這表明,將部分求值技術應用到編譯器測試中是有效的.
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 《PIC单片机C语言》pdf0次下载
- Python语言在AI、大数据方面的重要性25次下载
- 单片机C语言和汇编语言混合编程实例详解227次下载
- C语言深度解剖电子版资源下载0次下载
- DSP载波移相控制C语言源代码下载58次下载
- 无线遥控频率计C语言源代码下载37次下载
- 基于单片机的数字电位器C语言源代码26次下载
- vhdl语言编写的9秒倒计时器资料下载19次下载
- MATLAB语言与C语言的区别资料下载8次下载
- 基于SPESC到目标程序语言的智能合约系统框架15次下载
- DHT11单片机温度湿度传感器原理图和C语言免费下载138次下载
- 什么是C语言?C语言有哪些优势及C语言的应用资料说明5次下载
- 如何使用GNU语言工具来编写16位单片机应用程序代码的方法4次下载
- 如何使用GNU语言工具来编写32位应用程序的代码的详细资料概述10次下载
- TMS320C28X处理器汇编语言工具用户指南30次下载
- c语言中从左到右结合怎么看1352次阅读
- PLC编程语言和C语言的区别4220次阅读
- fpga语言是什么?fpga语言与c语言的区别1229次阅读
- vb语言和c++语言的区别3006次阅读
- C语言必备知识头文件包含2338次阅读
- SystemVerilog在硬件设计部分有哪些优势1648次阅读
- 研究人员开发出一种创新的光电化学(PEC)蚀刻技术1660次阅读
- 在实际设计中BSV表现如何1532次阅读
- 开源的Bluespec SystemVerilog (BSV)语言表现如何?974次阅读
- 关于编程语言开发技术和AI的部分691次阅读
- 变压器部分的识读8464次阅读
- 如何使用数据包错误检查来保护您的温度读数2082次阅读
- C语言的诞生 C语言与C++40年的相爱相杀1442次阅读
- 关于Erlang语言的功能及特性3786次阅读
- 实用的语言防盗报警器电路1847次阅读
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7基于單片機和 SG3525的程控開關電源設計
- 0.23 MB | 3次下載 | 免費
- 8基于單片機的紅外風扇遙控
- 0.23 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關電源設計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
評論