CompCert編譯器目標(biāo)代碼生成機(jī)制研究綜述
資料介紹
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)處理器的后端。
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
- 用于代码注释生成的语法辅助机制设计19次下载
- 手语识别、翻译及生成研究综述25次下载
- 华为方舟编译器使用指南1次下载
- C语言编译器常见的预编译指令详细资料说明2次下载
- CCS编译器的使用手册资料免费下载18次下载
- 如何使用GNU语言工具来编写32位应用程序的代码的详细资料概述10次下载
- 如何将C源代码从MPLAB C18编译器移植到MPLAB XC8C编译器的详细概述30次下载
- 代码编译器Studio开发工具特征详细的表格分析概述3次下载
- TMS320F28x 优化C/C++编译器用户指南26次下载
- 可信编译器L2C的核心翻译步骤及其设计与实现1次下载
- C编译器及其优化2次下载
- 基于CoSy的编译器开发的研究0次下载
- 反编译研究现状及其进展31次下载
- AVRC (AVR的PASCAL编译器)76次下载
- SIMD计算机的优化编译器设计30次下载
- 什么样的代码会被编译器优化617次阅读
- Keil编译器优化方法2129次阅读
- SEGGER编译器优化和安全技术介绍 支持最新C和C++语言1978次阅读
- Triton编译器的原理和性能4030次阅读
- TVM编译器的整体架构和基本方法3318次阅读
- 领域编译器发展的前世今生2142次阅读
- 交叉编译器安装教程4049次阅读
- 基于编译器用于快速检测原生代码中内存错误的ASan2579次阅读
- VScode编译器如何配置C/C++编译环境6093次阅读
- 如何编写有利于编译器优化的代码1537次阅读
- 如何选择PIC单片机的C编译器5664次阅读
- 深入编程语言和编译器是怎样工作的4700次阅读
- 编译器原理到底是怎样的带你简单的了解编译器原理11651次阅读
- 编译器是如何工作的_编译器的工作过程详解16638次阅读
- 编译器跟编辑器有什么区别30560次阅读
下載排行
本周
- 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)
評(píng)論