資料介紹
部分求值技術(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次閱讀
下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費(fèi)
- 2AN158 GD32VW553 Wi-Fi開發(fā)指南
- 1.51MB | 2次下載 | 免費(fèi)
- 3AN148 GD32VW553射頻硬件開發(fā)指南
- 2.07MB | 1次下載 | 免費(fèi)
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費(fèi)
- 5AN153-用于電源系統(tǒng)管理的Linduino
- 1.38MB | 次下載 | 免費(fèi)
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費(fèi)
- 7SM2018E 支持可控硅調(diào)光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費(fèi)
- 8AN-1308: 電流檢測(cè)放大器共模階躍響應(yīng)
- 545.42KB | 次下載 | 免費(fèi)
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費(fèi)
- 2免費(fèi)開源CC3D飛控資料(電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機(jī)智能手環(huán)心率計(jì)步器體溫顯示設(shè)計(jì)
- 0.10 MB | 130次下載 | 免費(fèi)
- 4使用單片機(jī)實(shí)現(xiàn)七人表決器的程序和仿真資料免費(fèi)下載
- 2.96 MB | 44次下載 | 免費(fèi)
- 53314A函數(shù)發(fā)生器維修手冊(cè)
- 16.30 MB | 31次下載 | 免費(fèi)
- 6美的電磁爐維修手冊(cè)大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測(cè)試電源的紋波
- 0.36 MB | 17次下載 | 免費(fèi)
- 8感應(yīng)筆電路圖
- 0.06 MB | 10次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191367次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
評(píng)論