電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
Jourdan等在其2012年發(fā)表的論文“ Validating Lr（1） Parsers”中提出了一種形式化驗(yàn)證語法分析器的方法，并將其成功地應(yīng)用于 Compcert編譯器（2.3以上版本）的語法分析器驗(yàn)證中。借助這種方法，文中完成了L2C項(xiàng)目中的 Lustre語言語法分析器的形式化驗(yàn)證，實(shí)現(xiàn)了開源L2C編譯器前端語法分析器的兩個(gè)選項(xiàng)之一。首先對(duì)這一語法分析器的實(shí)現(xiàn)進(jìn)行了論述，其中包括有參考價(jià)值的技術(shù)細(xì)節(jié);隨后分析了該語法分析器的運(yùn)行性能及正確性;最后對(duì)如何將這一方法推廣至更一般的應(yīng)用場(chǎng)景進(jìn)行了總結(jié)。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 開源網(wǎng)絡(luò)協(xié)議分析器WireShark軟件下載 15次下載
- CompCert編譯器目標(biāo)代碼生成機(jī)制研究綜述 7次下載
- C語言編譯器常見的預(yù)編譯指令詳細(xì)資料說明
- MPLAB C18編譯器到MPLAB XC8 C編譯器的移植過程詳細(xì)中文資料概述
- 使用C18編譯器和MSSP模塊進(jìn)行I2C?串行EEPROM與PIC18單片機(jī)的接口設(shè)計(jì)
- 快速詳細(xì)了解MPLAB C18 C編譯器入門的學(xué)習(xí)資料
- 如何將C源代碼從MPLAB C18編譯器移植到MPLAB XC8C編譯器的詳細(xì)概述
- 可信編譯器L2C的核心翻譯步驟及其設(shè)計(jì)與實(shí)現(xiàn) 1次下載
- 編譯原理 —— 編譯器各階段工作解析 0次下載
- C語言編譯器 50次下載
- 借助Lex和Yacc進(jìn)行詞法語法分析 30次下載
- GPS L2C捕獲算法研究及性能分析
- 一個(gè)高效的語法分析器生成工具
- 基于Verilog HDL的I2C總線分析器
- C196編譯器軟件
- SEGGER編譯器優(yōu)化和安全技術(shù)介紹 支持最新C和C++語言 1501次閱讀
- Triton編譯器的原理和性能 3041次閱讀
- Linux使用gcc編譯程序的語法 727次閱讀
- 領(lǐng)域編譯器發(fā)展的前世今生 1748次閱讀
- 編譯器將.c文件編譯為.o文件鏈接的過程 4998次閱讀
- 交叉編譯器安裝教程 3559次閱讀
- 編譯器理論之別名分析分類 799次閱讀
- C編譯器的缺省字節(jié)對(duì)齊方式(自然對(duì)界) 2218次閱讀
- VScode編譯器如何配置C/C++編譯環(huán)境 5663次閱讀
- 虛擬機(jī)：編譯器對(duì)C函數(shù)的名字修飾 2576次閱讀
- 如何選擇PIC單片機(jī)的C編譯器 5429次閱讀
- 編譯器原理到底是怎樣的帶你簡(jiǎn)單的了解編譯器原理 1.1w次閱讀
- C到VHDL的編譯器設(shè)計(jì)與實(shí)現(xiàn)詳解 4659次閱讀
- verilog編譯指令_verilog編譯器指示語句（數(shù)字IC） 1.5w次閱讀
- 編譯器是如何工作的_編譯器的工作過程詳解 1.6w次閱讀
上傳資料賺積分下載排行
本周
- 1涂鴉各WiFi模塊原理圖加PCB封裝
- 11.75 MB | 76次下載 | 1 積分
- 2錦銳科技CA51F2 SDK開發(fā)包
- 24.06 MB | 29次下載 | 1 積分
- 3錦銳CA51F005 SDK開發(fā)包
- 19.47 MB | 3次下載 | 1 積分
- 4蘋果iphone 11電路原理圖
- 4.98 MB | 3次下載 | 2 積分
- 5基礎(chǔ)模擬電子電路
- 3.80 MB | 3次下載 | 1 積分
- 6RA-Eco-RA6M4-100PIN-V1.0開發(fā)板資料
- 34.89 MB | 1次下載 | 免費(fèi)
- 7STM32F3系列、STM32F4系列、STM32L4系列和STM32L4+系列Cortex-M4編程手冊(cè)
- 3.32 MB | 1次下載 | 免費(fèi)
- 8聯(lián)想A820t手機(jī)維修圖紙包括主板原理圖 尾板原理圖 點(diǎn)位圖
- 0.62 MB | 次下載 | 5 積分
本月
- 1AI智能眼鏡產(chǎn)業(yè)鏈分析
- 4.43 MB | 383次下載 | 免費(fèi)
- 2蘇泊爾電磁爐線路的電路原理圖資料合集
- 2.02 MB | 296次下載 | 5 積分
- 3貼片三極管上的印字與真實(shí)名稱的對(duì)照表詳細(xì)說明
- 0.50 MB | 94次下載 | 1 積分
- 4長(zhǎng)虹液晶電視R-HS310B-5HF01的電源板電路原理圖
- 0.46 MB | 91次下載 | 5 積分
- 5涂鴉各WiFi模塊原理圖加PCB封裝
- 11.75 MB | 76次下載 | 1 積分
- 6錦銳科技CA51F2 SDK開發(fā)包
- 24.06 MB | 29次下載 | 1 積分
- 7AO4803A雙P通道增強(qiáng)型場(chǎng)效應(yīng)晶體管的數(shù)據(jù)手冊(cè)
- 0.11 MB | 28次下載 | 2 積分
- 8長(zhǎng)虹液晶彩電LS29機(jī)芯的技術(shù)資料說明
- 3.42 MB | 16次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191388次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183342次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81588次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73815次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論