電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
CompCert是著名的C語(yǔ)言可信編譯器，是經(jīng)過(guò)形式化驗(yàn)證的編譯器的杰出代表，近年來(lái)被廣泛應(yīng)用于學(xué)術(shù)界和工業(yè)界的許多研發(fā)工作中。 Compcert編譯器的當(dāng)前版本支持多種目標(biāo)機(jī)結(jié)構(gòu)。文中對(duì) Compcert編譯器目標(biāo)代碼生成機(jī)制進(jìn)行剖析，主要介紹其設(shè)計(jì)邏輯、翻譯過(guò)程、語(yǔ)義保持性以及代碼結(jié)構(gòu)，并給出了 Compcert編譯器重定向設(shè)計(jì)的要點(diǎn)。文中工作有助于實(shí)現(xiàn) Compcert重定向，比如實(shí)現(xiàn)面向重要國(guó)產(chǎn)處理器的后端。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 用于代碼注釋生成的語(yǔ)法輔助機(jī)制設(shè)計(jì) 19次下載
- 手語(yǔ)識(shí)別、翻譯及生成研究綜述 25次下載
- 華為方舟編譯器使用指南 1次下載
- C語(yǔ)言編譯器常見(jiàn)的預(yù)編譯指令詳細(xì)資料說(shuō)明
- CCS編譯器的使用手冊(cè)資料免費(fèi)下載 18次下載
- 如何使用GNU語(yǔ)言工具來(lái)編寫(xiě)32位應(yīng)用程序的代碼的詳細(xì)資料概述
- 如何將C源代碼從MPLAB C18編譯器移植到MPLAB XC8C編譯器的詳細(xì)概述
- 代碼編譯器Studio開(kāi)發(fā)工具特征詳細(xì)的表格分析概述 3次下載
- TMS320F28x 優(yōu)化C／C++編譯器用戶(hù)指南 25次下載
- 可信編譯器L2C的核心翻譯步驟及其設(shè)計(jì)與實(shí)現(xiàn) 1次下載
- C編譯器及其優(yōu)化 2次下載
- 基于CoSy的編譯器開(kāi)發(fā)的研究 0次下載
- 反編譯研究現(xiàn)狀及其進(jìn)展 31次下載
- AVRC (AVR的PASCAL編譯器)
- SIMD計(jì)算機(jī)的優(yōu)化編譯器設(shè)計(jì)
- 什么樣的代碼會(huì)被編譯器優(yōu)化 92次閱讀
- Keil編譯器優(yōu)化方法 738次閱讀
- SEGGER編譯器優(yōu)化和安全技術(shù)介紹 支持最新C和C++語(yǔ)言 1500次閱讀
- Triton編譯器的原理和性能 3040次閱讀
- TVM編譯器的整體架構(gòu)和基本方法 2505次閱讀
- 領(lǐng)域編譯器發(fā)展的前世今生 1748次閱讀
- 交叉編譯器安裝教程 3558次閱讀
- 基于編譯器用于快速檢測(cè)原生代碼中內(nèi)存錯(cuò)誤的ASan 2259次閱讀
- VScode編譯器如何配置C/C++編譯環(huán)境 5662次閱讀
- 如何編寫(xiě)有利于編譯器優(yōu)化的代碼 1419次閱讀
- 如何選擇PIC單片機(jī)的C編譯器 5429次閱讀
- 深入編程語(yǔ)言和編譯器是怎樣工作的 4372次閱讀
- 編譯器原理到底是怎樣的帶你簡(jiǎn)單的了解編譯器原理 1.1w次閱讀
- 編譯器是如何工作的_編譯器的工作過(guò)程詳解 1.6w次閱讀
- 編譯器跟編輯器有什么區(qū)別 3w次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 92次下載 | 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藍(lán)牙設(shè)備在嵌入式領(lǐng)域的廣泛應(yīng)用
- 0.63 MB | 3次下載 | 免費(fèi)
- 89天練會(huì)電子電路識(shí)圖
- 5.91 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下載入口
- 未知 | 233045次下載 | 免費(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)
工商網(wǎng)監(jiān)
評(píng)論