編譯程式規約語言（compiler specification language）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名：編譯程式規約語言
- 外文名：compiler specification language
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
一種用於開發編譯程式的規約語言。
出處
《計算機科學技術名詞 》第三版。
編譯程式規約語言
相關詞條
- 編譯程式規約語言
編譯程式規約語言（compiler specification language）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義一種用於開發編譯程式的規約語言。出處《計算機科學技術名詞 》...
- Modula-2 語言
Modula一2語言文本篇幅不長，易讀，易懂。編譯程式也不長，它提供了模組化的結構和簡明的語句。因此用它編寫的程式有很強的表達能力，且易於移植。特點 (1)模組性在Modula一2中，把模組分成兩個語法成分，即定義性模組和實現性模組，並把那些在模組外可見的對象列在一個明顯的移出表中，在模組內引用模組外的對象...
- SETL語言
SETL語言支持描述軟體規約的機制之一是它允許程式中使用全稱量詞和存在量詞，但這些量詞中的約束變元必須受限於某一有限集，即全稱和存在的含義是就該有限集而言的。SETL的控制結構包括通常的條件，分情況，循環、轉移，還有其他與集合和元組有關的結構。與集合和元組有關的控制結構的基本形式為(for v in SIC)SS ...
- C語言程式設計(基於CDIO思想)
《C語言程式設計（基於CDIO思想）》是2012年出版的圖書，作者是李向陽 。本教材採用CDIO的思想和模式編寫。在注重培養讀者程式設計及獨立解決問題能力的同時，也兼顧語言知識的細節。內容簡介 本書前10章設為三個層次： 第1~4章是基礎篇： 介紹順序結構、選擇結構、循環結構程式設計以及C語言的相應知識； 第5~7章...
- 廣譜語言
廣譜語言（wide spectrum language）是指可在不同的抽象級別上書寫軟體需求定義、功能規約、設計規約及實現的語言。好的軟體規約要在較高的抽象級上說明做什麼，強調明晰，而好的實現必須針對虛擬機給出如何做的詳細描述，強調功效。明晰與功效很難在一個程式同時滿足，這兩者之間距離很大。程式規約在這個距離間分成若干...
- 編譯原理(中南大學建設的慕課)
編譯原理課程是中南大學建設的慕課、國家精品課程。該課程於2019年10月29日首次在中國大學MOOC開課，授課教師為陳志剛、漆華妹、沈海瀾、姚鑫。據2021年8月中國大學MOOC官網顯示該課程已運行2學期。編譯原理課程共八章，包括代碼最佳化、語法分析、程式語言、語義分析和中間代碼生成、屬性文法和語法翻譯製導等內容。課程性質 ...
- 軟體工程卷:系統與語言規約
本卷的主要章節用於介紹一些專門的主題，比如模組(包括UML的類圖)、Petri網、活動序列圖、狀態圖和時態邏輯(包括時段演算)。最後，本卷介紹了開發函式式，命令式以及並行程式設計語言的可靠和有效的解釋器和編譯器的基本原理和技術。本卷適合於作為高年級本科生和研究生，以及研究程式設計方法學的學者的教材或參考書。...
- 編譯原理(第2版)本科教學版
本書全面、深入地探討了編譯器設計方面的重要主題，包括詞法分析、語法分析、語法制導定義和語法制導翻譯、運行時刻環境、目標代碼生成、代碼最佳化技術、並行性檢測以及過程間分析技術，並在相關章節中給出大量實例。圖書目錄 出版者的話 改編者序 前言 第1章 引論 1.1 語言處理器 1.2 一個編譯器的結構 1.3 程式...
- 軟體工程卷2:系統與語言規約
模型和規約狀態86 4.4.2開發原則和技術87 4.5程式設計語言格局87 4.6並發進程格局87 4.6.1示例87 一句提示88 4.2(a) 語義的注釋89 4.2(b) 語義的注釋89 4.2(c) 語義的注釋89 4.2(d) 語義的注釋89 4.6.2總結92 4.7第二次總結：上下文和狀態93 4.8信息狀態和行為狀態93 4.8.1作為狀態機...
- 編譯原理(原書第2版)
3.1 詞法分析器的作用 3.1.1 詞法分析及解析 3.1.2 詞法單元、模式、詞素 3.1.3 詞法單元的屬性 3.1.4 詞法錯誤 3.1.5 3.1節的練習 3.2 輸入緩衝 3.2.1 緩衝區對 3.2.2 哨兵標記 3.3 詞法單元的規約 3.3.1 串和語言 3.3.2 語言上的運算 3.3.3 正則表達式 3.3.4 正則定義 3....
- 編譯技術(2015年機械工業出版社出版的圖書)
法解析、語義分析、代碼生成等過程中所面臨的技術問題及解決方案；第7章介紹運行時存儲空間的組織與分配；第8章介紹LCC（Learning Compiler with C）語言編譯程式的C語言實現。本書在強調基礎理論的同時，力求反映編譯技術方面的**成果，書中給出了大量代碼，以幫助讀者掌握編譯器構造的相關技術。本書配套授課電子課件...
- 計算機科學叢書·編譯原理
3．1 詞法分析器的作用 3．1．1 詞法分析及語法分析 3．1．2 詞法單元、模式和詞素 3．1．3 詞法單元的屬性 3．1．4 詞法錯誤 3．1．5 3．1節的練習 3．2 詞法單元的規約 3．2．1 串和語言 3．2．2 語言上的運算 3．2．3 正則表達式 3．2．4 正則定義 3．2．5 正則表達式的擴展 3．2．...
- 可編程式控制器原理與套用基礎
第5章 可程式序控制器程式設計基礎 5.1 梯形圖的編程規則 5.1.1 梯形圖編程的基本規則 5.1.2 STEP7－Micro/WIN32編程規約 5.2 典型控制功能的梯形圖 5.2.1 具有自鎖和互鎖功能的程式 5.2.2 定時器應用程式 5.2.3 計數器應用程式 5.3 PLC程式的移植設計法和經驗設計法 5.3.1 PLC程式的移植設計...
- 編譯器構造
1.5 編譯器的組織結構 10 1.5.1 掃描器 11 1.5.2 分析器 12 1.5.3 類型檢查器（語義分析） 12 1.5.4 翻譯器（程式綜合） 12 1.5.5 符號表 13 1.5.6 最佳化器 13 1.5.7 代碼生成器 13 1.5.8 編譯器開發工具 14 1.6 程式設計語言和編譯器設計 14 1.7 計算機體系結構和編譯器設計 15...
- C++
截至2014年3月，C++共有5款主流編譯器。語言特點 與C語言的兼容性 C++與C語言完全兼容，C語言的絕大部分內容可以直接用於C++的程式設計，用C語言編寫的程式可以不加修改地用於C++。數據封裝和數據隱藏 在C++中，類是支持數據封裝的工具，對象則是數據封裝的實現。C++通過建立用戶定義類支持數據封裝和數據隱藏。在...
- extern "C"
因此，extern "C"表明了一種編譯規約，其中extern是關鍵字屬性，“C”表征了編譯器連結規範。對於extern "C"可以理解成在C++/C中的混合編程的編譯指令。明白了這層意思，下面的代碼就不難解釋了：編譯方式 未加extern “C”聲明時的編譯方式 首先看看C++中對類似C的函式是怎樣編譯的。作為一種面向對象的語言，...
- 形式化方法
前者用來描述基本(原子)規約,後者 把基本部分組合成大規約。構造成分是形式規約研究和設計的重點，也是衡量規約語言優劣的主要依據。形式驗證形式化方法的另一重要研究內容是形式驗證(Formal Verification)。形式驗證與形式規約之間具有緊密的聯繫，形式驗證就是驗證已有的程式(系統)P，是否滿足其規約(φ,ψ)的要求(即P ...
- Yacc
yacc的輸入是巴科斯範式（BNF）表達的語法規則以及語法規約的處理代碼，Yacc輸出的是基於表驅動的編譯器，包含輸入的語法規約的處理代碼部分。yacc是開發編譯器的一個有用的工具,採用LALR(1)語法分析方法。Yacc最初由AT&T的Steven C. Johnson為Unix作業系統開發，後來一些兼容的程式如Berkeley Yacc，GNU bison，MKS yacc...
- 過程實現方法
過程實現方法是指軟體規約中需求作為過程進行管理，並實現目標程式。過程方法所採用的技術實質上是擴展編譯技術。用過程方法實現軟體系統是通過某種高級語言來描述問題規約、並藉助其編譯程式自動生成可執行的程式代碼。雖然該方法的實現效率較高，但從非算法成分到算法性成分的轉換卻較難實現，高級語言的抽象成分越多，就...
- 電腦軟體
它一般包括模式翻譯、應用程式的編譯、查詢命令的解釋執行以及運行管理等部分。分散式軟體系統是管理、支撐分散式計算系統的軟體系統。它一般包括分散式作業系統、分散式程式設計語言及其編譯程式、分散式資料庫管理系統、分散式算法及其軟體包、分散式開發工具包等。網路軟體系統是在計算機網路環境中，用於支持數據通信和各種網路...
