在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

電子發燒友App

硬聲App

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示
電子發燒友網>電子資料下載>電子資料>開源L2C編譯器前端語法分析器及驗證過程

開源L2C編譯器前端語法分析器及驗證過程

2021-05-19 | pdf | 1.48 MB | 次下載 | 免費

資料介紹

  Jourdan等在其2012年發表的論文“ Validating Lr(1) Parsers”中提出了一種形式化驗證語法分析器的方法,并將其成功地應用于 Compcert編譯器(2.3以上版本)的語法分析器驗證中。借助這種方法,文中完成了L2C項目中的 Lustre語言語法分析器的形式化驗證,實現了開源L2C編譯器前端語法分析器的兩個選項之一。首先對這一語法分析器的實現進行了論述,其中包括有參考價值的技術細節;隨后分析了該語法分析器的運行性能及正確性;最后對如何將這一方法推廣至更一般的應用場景進行了總結。

下載該資料的人也在下載 下載該資料的人還在閱讀
更多 >

評論

查看更多

下載排行

本周

  1. 1山景DSP芯片AP8248A2數據手冊
  2. 1.06 MB  |  532次下載  |  免費
  3. 2RK3399完整板原理圖(支持平板,盒子VR)
  4. 3.28 MB  |  339次下載  |  免費
  5. 3TC358743XBG評估板參考手冊
  6. 1.36 MB  |  330次下載  |  免費
  7. 4DFM軟件使用教程
  8. 0.84 MB  |  295次下載  |  免費
  9. 5元宇宙深度解析—未來的未來-風口還是泡沫
  10. 6.40 MB  |  227次下載  |  免費
  11. 6迪文DGUS開發指南
  12. 31.67 MB  |  194次下載  |  免費
  13. 7元宇宙底層硬件系列報告
  14. 13.42 MB  |  182次下載  |  免費
  15. 8FP5207XR-G1中文應用手冊
  16. 1.09 MB  |  178次下載  |  免費

本月

  1. 1OrCAD10.5下載OrCAD10.5中文版軟件
  2. 0.00 MB  |  234315次下載  |  免費
  3. 2555集成電路應用800例(新編版)
  4. 0.00 MB  |  33566次下載  |  免費
  5. 3接口電路圖大全
  6. 未知  |  30323次下載  |  免費
  7. 4開關電源設計實例指南
  8. 未知  |  21549次下載  |  免費
  9. 5電氣工程師手冊免費下載(新編第二版pdf電子書)
  10. 0.00 MB  |  15349次下載  |  免費
  11. 6數字電路基礎pdf(下載)
  12. 未知  |  13750次下載  |  免費
  13. 7電子制作實例集錦 下載
  14. 未知  |  8113次下載  |  免費
  15. 8《LED驅動電路設計》 溫德爾著
  16. 0.00 MB  |  6656次下載  |  免費

總榜

  1. 1matlab軟件下載入口
  2. 未知  |  935054次下載  |  免費
  3. 2protel99se軟件下載(可英文版轉中文版)
  4. 78.1 MB  |  537798次下載  |  免費
  5. 3MATLAB 7.1 下載 (含軟件介紹)
  6. 未知  |  420027次下載  |  免費
  7. 4OrCAD10.5下載OrCAD10.5中文版軟件
  8. 0.00 MB  |  234315次下載  |  免費
  9. 5Altium DXP2002下載入口
  10. 未知  |  233046次下載  |  免費
  11. 6電路仿真軟件multisim 10.0免費下載
  12. 340992  |  191187次下載  |  免費
  13. 7十天學會AVR單片機與C語言視頻教程 下載
  14. 158M  |  183279次下載  |  免費
  15. 8proe5.0野火版下載(中文版免費下載)
  16. 未知  |  138040次下載  |  免費
主站蜘蛛池模板: 性欧美大战久久久久久久野外 | 黄色短视频免费看 | 欧美乱淫 | 亚洲欧美国产视频 | 日日操狠狠操 | 男女视频在线看 | 视频在线二区 | 亚洲高清免费 | 好爽毛片一区二区三区四区 | 天天曰| 国产精品久久自在自2021 | 欧美日韩一区二区三区毛片 | 国产精品一久久香蕉产线看 | 亚洲永久免费视频 | 欧美色视频日本 | 亚洲欧洲综合网 | 欧美黑粗 | 色吧色吧色吧网 | 一区二区三区四区国产精品 | 美女黄色毛片 | 日日噜噜夜夜狠狠tv视频免费 | 亚洲午夜免费视频 | 婷婷色六月| 夜夜摸夜夜爽 | 男人的天堂97 | 国产女在线 | 久久久久久久影院 | 三级理论手机在线观看视频 | 特级黄色毛片 | 免费的男女拍拍拍的视频 | 夜夜操夜夜爽 | 久久这里精品青草免费 | 午夜精品久久久久久久第一页 | 成年免费大片黄在线观看免费 | 亚洲一区二区三区免费在线观看 | 色五夜婷婷| 天天操夜夜操狠狠操 | 亚洲vv| 最新午夜宅男 | 欧美一级在线全免费 | 韩国黄色三级视频 |