資料介紹
部分求值技術(shù)在程序優(yōu)化及軟件自動(dòng)生成等方面起著極為重要的作用,將部分求值技術(shù)應(yīng)用到編譯器測(cè)試中,為此,設(shè)計(jì)了一種C語(yǔ)言的子集peC語(yǔ)言,給出了該語(yǔ)言的部分求值策略的形式化描述,實(shí)現(xiàn)了peC語(yǔ)言的部分求值器,設(shè)計(jì)了基于部分求值技術(shù)的編譯器測(cè)試框架.通過(guò)實(shí)驗(yàn),該方法可以檢測(cè)出大部分之前其他方法發(fā)現(xiàn)的GCC,LLVM編譯器中的錯(cuò)誤,此外還發(fā)現(xiàn)了其他方法不能發(fā)現(xiàn)的錯(cuò)誤,這表明,將部分求值技術(shù)應(yīng)用到編譯器測(cè)試中是有效的.
	
- 《PIC單片機(jī)C語(yǔ)言》pdf 0次下載
 - 嵌入式軟件之c語(yǔ)言編碼規(guī)范 28次下載
 - Python語(yǔ)言在AI、大數(shù)據(jù)方面的重要性 25次下載
 - 單片機(jī)C語(yǔ)言和匯編語(yǔ)言混合編程實(shí)例詳解 227次下載
 - 基于改進(jìn)PCFG的語(yǔ)言解釋器模糊測(cè)試綜述 8次下載
 - DSP載波移相控制C語(yǔ)言源代碼下載 57次下載
 - 基于單片機(jī)的數(shù)字電位器C語(yǔ)言源代碼 26次下載
 - vhdl語(yǔ)言編寫(xiě)的9秒倒計(jì)時(shí)器資料下載
 - MATLAB語(yǔ)言與C語(yǔ)言的區(qū)別資料下載
 - 基于SPESC到目標(biāo)程序語(yǔ)言的智能合約系統(tǒng)框架 15次下載
 - DHT11單片機(jī)溫度濕度傳感器原理圖和C語(yǔ)言免費(fèi)下載 138次下載
 - 什么是C語(yǔ)言?C語(yǔ)言有哪些優(yōu)勢(shì)及C語(yǔ)言的應(yīng)用資料說(shuō)明
 - 如何使用GNU語(yǔ)言工具來(lái)編寫(xiě)16位單片機(jī)應(yīng)用程序代碼的方法
 - 如何使用GNU語(yǔ)言工具來(lái)編寫(xiě)32位應(yīng)用程序的代碼的詳細(xì)資料概述
 - TMS320C28X處理器匯編語(yǔ)言工具用戶(hù)指南 30次下載
 
- c語(yǔ)言中從左到右結(jié)合怎么看 1005次閱讀
 - PLC編程語(yǔ)言和C語(yǔ)言的區(qū)別 3084次閱讀
 - C語(yǔ)言必備知識(shí)頭文件包含 2036次閱讀
 - SystemVerilog在硬件設(shè)計(jì)部分有哪些優(yōu)勢(shì) 1325次閱讀
 - 研究人員開(kāi)發(fā)出一種創(chuàng)新的光電化學(xué)(PEC)蝕刻技術(shù) 1445次閱讀
 - 在實(shí)際設(shè)計(jì)中BSV表現(xiàn)如何 1321次閱讀
 - 開(kāi)源的Bluespec SystemVerilog (BSV)語(yǔ)言表現(xiàn)如何? 798次閱讀
 - 關(guān)于編程語(yǔ)言開(kāi)發(fā)技術(shù)和AI的部分 561次閱讀
 - 如何使用數(shù)據(jù)包錯(cuò)誤檢查來(lái)保護(hù)您的溫度讀數(shù) 1862次閱讀
 - C語(yǔ)言的誕生 C語(yǔ)言與C++40年的相愛(ài)相殺 1359次閱讀
 - 為什么C語(yǔ)言不會(huì)過(guò)時(shí)? 2111次閱讀
 - PLC的編程語(yǔ)言具體有哪些 8363次閱讀
 - 關(guān)于Erlang語(yǔ)言的功能及特性 3658次閱讀
 - 幾款小巧好用的C語(yǔ)言編輯器 4w次閱讀
 - 實(shí)用的語(yǔ)言防盜報(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í)別和講解說(shuō)明
 - 4.28 MB | 18次下載 | 4 積分
 - 5開(kāi)關(guān)電源原理及各功能電路詳解
 - 0.38 MB | 10次下載 | 免費(fèi)
 - 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
 - 0.11 MB | 4次下載 | 免費(fèi)
 - 7基于單片機(jī)和 SG3525的程控開(kāi)關(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 專(zhuān)業(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開(kāi)關(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語(yǔ)言視頻教程 下載
 - 158M | 183277次下載 | 免費(fèi)
 - 8proe5.0野火版下載(中文版免費(fèi)下載)
 - 未知 | 138039次下載 | 免費(fèi)
 
	                電子發(fā)燒友App
	            
	        
	        
          
        
        
	                    
                        
                        
                        
                        
                        


創(chuàng)作
發(fā)文章
發(fā)帖  
提問(wèn)  
發(fā)資料
發(fā)視頻
上傳資料賺積分
           
            
            
                
            
評(píng)論