資料介紹
部分求值技術(shù)在程序優(yōu)化及軟件自動(dòng)生成等方面起著極為重要的作用,將部分求值技術(shù)應(yīng)用到編譯器測(cè)試中,為此,設(shè)計(jì)了一種C語言的子集peC語言,給出了該語言的部分求值策略的形式化描述,實(shí)現(xiàn)了peC語言的部分求值器,設(shè)計(jì)了基于部分求值技術(shù)的編譯器測(cè)試框架.通過實(shí)驗(yàn),該方法可以檢測(cè)出大部分之前其他方法發(fā)現(xiàn)的GCC,LLVM編譯器中的錯(cuò)誤,此外還發(fā)現(xiàn)了其他方法不能發(fā)現(xiàn)的錯(cuò)誤,這表明,將部分求值技術(shù)應(yīng)用到編譯器測(cè)試中是有效的.
- 《PIC單片機(jī)C語言》pdf 0次下載
- 嵌入式軟件之c語言編碼規(guī)范 28次下載
- Python語言在AI、大數(shù)據(jù)方面的重要性 25次下載
- 單片機(jī)C語言和匯編語言混合編程實(shí)例詳解 227次下載
- 基于改進(jìn)PCFG的語言解釋器模糊測(cè)試綜述 8次下載
- DSP載波移相控制C語言源代碼下載 57次下載
- 基于單片機(jī)的數(shù)字電位器C語言源代碼 26次下載
- vhdl語言編寫的9秒倒計(jì)時(shí)器資料下載
- MATLAB語言與C語言的區(qū)別資料下載
- 基于SPESC到目標(biāo)程序語言的智能合約系統(tǒng)框架 15次下載
- DHT11單片機(jī)溫度濕度傳感器原理圖和C語言免費(fèi)下載 138次下載
- 什么是C語言?C語言有哪些優(yōu)勢(shì)及C語言的應(yīng)用資料說明
- 如何使用GNU語言工具來編寫16位單片機(jī)應(yīng)用程序代碼的方法
- 如何使用GNU語言工具來編寫32位應(yīng)用程序的代碼的詳細(xì)資料概述
- TMS320C28X處理器匯編語言工具用戶指南 30次下載
- c語言中從左到右結(jié)合怎么看 1005次閱讀
- PLC編程語言和C語言的區(qū)別 3084次閱讀
- C語言必備知識(shí)頭文件包含 2036次閱讀
- SystemVerilog在硬件設(shè)計(jì)部分有哪些優(yōu)勢(shì) 1325次閱讀
- 研究人員開發(fā)出一種創(chuàng)新的光電化學(xué)(PEC)蝕刻技術(shù) 1445次閱讀
- 在實(shí)際設(shè)計(jì)中BSV表現(xiàn)如何 1321次閱讀
- 開源的Bluespec SystemVerilog (BSV)語言表現(xiàn)如何? 798次閱讀
- 關(guān)于編程語言開發(fā)技術(shù)和AI的部分 561次閱讀
- 如何使用數(shù)據(jù)包錯(cuò)誤檢查來保護(hù)您的溫度讀數(shù) 1862次閱讀
- C語言的誕生 C語言與C++40年的相愛相殺 1359次閱讀
- 為什么C語言不會(huì)過時(shí)? 2111次閱讀
- PLC的編程語言具體有哪些 8363次閱讀
- 關(guān)于Erlang語言的功能及特性 3658次閱讀
- 幾款小巧好用的C語言編輯器 4w次閱讀
- 實(shí)用的語言防盜報(bào)警器電路 1700次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開關(guān)電源設(shè)計(jì)
- 0.23 MB | 3次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
評(píng)論