電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
Jourdan等在其2012年發(fā)表的論文“ Validating Lr（1） Parsers”中提出了一種形式化驗證語法分析器的方法，并將其成功地應(yīng)用于 Compcert編譯器（2.3以上版本）的語法分析器驗證中。借助這種方法，文中完成了L2C項目中的 Lustre語言語法分析器的形式化驗證，實現(xiàn)了開源L2C編譯器前端語法分析器的兩個選項之一。首先對這一語法分析器的實現(xiàn)進行了論述，其中包括有參考價值的技術(shù)細節(jié);隨后分析了該語法分析器的運行性能及正確性;最后對如何將這一方法推廣至更一般的應(yīng)用場景進行了總結(jié)。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 開源網(wǎng)絡(luò)協(xié)議分析器WireShark軟件下載 15次下載
- CompCert編譯器目標代碼生成機制研究綜述 7次下載
- C語言編譯器常見的預(yù)編譯指令詳細資料說明
- MPLAB C18編譯器到MPLAB XC8 C編譯器的移植過程詳細中文資料概述
- 使用C18編譯器和MSSP模塊進行I2C?串行EEPROM與PIC18單片機的接口設(shè)計
- 快速詳細了解MPLAB C18 C編譯器入門的學習資料
- 如何將C源代碼從MPLAB C18編譯器移植到MPLAB XC8C編譯器的詳細概述
- 可信編譯器L2C的核心翻譯步驟及其設(shè)計與實現(xiàn) 1次下載
- 編譯原理 —— 編譯器各階段工作解析 0次下載
- C語言編譯器 50次下載
- 借助Lex和Yacc進行詞法語法分析 30次下載
- GPS L2C捕獲算法研究及性能分析
- 一個高效的語法分析器生成工具
- 基于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é)對齊方式(自然對界) 2218次閱讀
- VScode編譯器如何配置C/C++編譯環(huán)境 5663次閱讀
- 虛擬機：編譯器對C函數(shù)的名字修飾 2576次閱讀
- 如何選擇PIC單片機的C編譯器 5429次閱讀
- 編譯器原理到底是怎樣的帶你簡單的了解編譯器原理 1.1w次閱讀
- C到VHDL的編譯器設(shè)計與實現(xiàn)詳解 4659次閱讀
- verilog編譯指令_verilog編譯器指示語句（數(shù)字IC） 1.5w次閱讀
- 編譯器是如何工作的_編譯器的工作過程詳解 1.6w次閱讀
上傳資料賺積分下載排行
本周
- 1山景DSP芯片AP8248A2數(shù)據(jù)手冊
- 1.06 MB | 532次下載 | 免費
- 2RK3399完整板原理圖（支持平板，盒子VR）
- 3.28 MB | 339次下載 | 免費
- 3TC358743XBG評估板參考手冊
- 1.36 MB | 330次下載 | 免費
- 4DFM軟件使用教程
- 0.84 MB | 295次下載 | 免費
- 5元宇宙深度解析—未來的未來-風口還是泡沫
- 6.40 MB | 227次下載 | 免費
- 6迪文DGUS開發(fā)指南
- 31.67 MB | 194次下載 | 免費
- 7元宇宙底層硬件系列報告
- 13.42 MB | 182次下載 | 免費
- 8FP5207XR-G1中文應(yīng)用手冊
- 1.09 MB | 178次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 2555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33566次下載 | 免費
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費
- 4開關(guān)電源設(shè)計實例指南
- 未知 | 21549次下載 | 免費
- 5電氣工程師手冊免費下載(新編第二版pdf電子書)
- 0.00 MB | 15349次下載 | 免費
- 6數(shù)字電路基礎(chǔ)pdf(下載)
- 未知 | 13750次下載 | 免費
- 7電子制作實例集錦 下載
- 未知 | 8113次下載 | 免費
- 8《LED驅(qū)動電路設(shè)計》 溫德爾著
- 0.00 MB | 6656次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537798次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420027次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191187次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183279次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138040次下載 | 免費
工商網(wǎng)監(jiān)
評論