ch1-編碼與程序設(shè)計(jì)語(yǔ)言原理_201721913555131

1、 Ch1 編碼與程序設(shè)計(jì)語(yǔ)言原理王 超Embedded System Lab Spring 2017本章提綱 編碼 程序設(shè)計(jì)語(yǔ)言的原理與基本概念編碼 編碼是最原始的程序設(shè)計(jì)語(yǔ)言 編碼出現(xiàn)要遠(yuǎn)遠(yuǎn)早于計(jì)算機(jī)和程序 常見的編碼形式 摩爾斯碼 字符編碼ASCII, Unicode, UTF-8, GB2312 拼音、五筆 二進(jìn)制編碼 條形碼與二維碼 量子編碼 DNA編碼摩爾斯編碼摩爾斯發(fā)明的的有線電報(bào)摩爾斯電碼的演變摩爾斯電碼的演變馬可尼的無(wú)線電報(bào)機(jī)1901年，馬可尼首次成功地實(shí)現(xiàn)了橫跨大年，馬可尼首次成功地實(shí)現(xiàn)了橫跨大西洋的無(wú)線電通信西洋的無(wú)線電通信 可以由任何能夠產(chǎn)生可控長(zhǎng)短脈沖的裝置發(fā)送，解碼不

2、需要使用專門設(shè)備，適合小功率通信摩爾斯電碼的優(yōu)勢(shì)A J S 1 . : B K T 2 , ; C L U 3 ? = D MV 4 + E N W5 ! - F O X 6 / _ G P Y 7 ( H Q Z 8 ) $ I R 0 9 & 摩爾斯電碼摩爾斯電碼-二叉樹 點(diǎn)“嘀”長(zhǎng)度為1個(gè)單位，劃“噠”長(zhǎng)度為3個(gè)單位 同一字母中點(diǎn)劃間隔為1個(gè)單位 同一詞中字母間隔為3個(gè)單位 詞與詞間隔為7個(gè)單位摩爾斯電碼的時(shí)間控制QRA你臺(tái)的名稱是什么？QRV你準(zhǔn)備好了嗎？QRP要我降低發(fā)信機(jī)功率嗎？QTH你的地理位置在？QRS要我發(fā)得慢一些嗎？QSB我的信號(hào)有衰落嗎？QRT 要我停止拍發(fā)嗎？QSL你能

3、確認(rèn)聯(lián)絡(luò)嗎？QRU你有什么發(fā)給我嗎？QRZ誰(shuí)在叫我？QRM你受到他臺(tái)干擾嗎？QSA我的信號(hào)強(qiáng)度怎樣？QRN你受到天電干擾嗎？QSY要我改用別的頻率拍發(fā)嗎？Q簡(jiǎn)語(yǔ)與宏定義 稱呼：U(你) / UR(你的) / OM(老朋友) / YL(女士) 問(wèn)候：GM(早上好) / GA(下午好) / GE(晚上好) 狀況：RST(信號(hào)報(bào)告) / RIG(設(shè)備) / ANT(天線) / PWR(功率) / WX(天氣) / OP(操作員) 其它：DE(這里是) / R(收到) / K(發(fā)送結(jié)束 ) / TNX(Thanks) / TU(Thank you) / CLG(呼叫) / VY(非常) / PSE(請(qǐng)

4、) / NW(現(xiàn)在) / SOS(緊急呼救) / 73(Best regards) / 88(Love and kisses)發(fā)送摩爾斯電碼的工具電鍵 手鍵手鍵 美式（平頭）鍵簧較軟 蘇式（圓頭）鍵簧較硬 半自動(dòng)鍵半自動(dòng)鍵 自動(dòng)鍵自動(dòng)鍵 單槳自動(dòng)鍵（掃撥鍵） 雙槳自動(dòng)鍵特別的手鍵布萊葉盲文編碼布萊葉編碼的歷史 路易斯布萊葉1809年出生于法國(guó)，1852去世 Valentin Hay(17451822 )，巴黎學(xué)校的創(chuàng)始人，發(fā)明了一種將字母凸印以供觸摸閱讀的方法。 法國(guó)陸軍上尉Charles Barbier在1819年發(fā)明了一種夜間文字的書寫體系，使用厚紙板上有規(guī)律凸起的點(diǎn)劃來(lái)供士兵們?cè)谝归g無(wú)聲

5、地傳遞口信。 布萊葉在上述原理基礎(chǔ)上進(jìn)行改進(jìn)，1823年創(chuàng)建了布萊葉編碼系統(tǒng)布萊葉編碼的編碼格式 共64種編碼格式 數(shù)字、字母和標(biāo)點(diǎn)符號(hào)都被編碼成局限在23小格中一個(gè)或多個(gè)凸起的點(diǎn)。字母和數(shù)字的表示方法 字母： 例子： 數(shù)字： 例子：布萊葉編碼擴(kuò)展（宏定義） 二級(jí)布萊葉編碼條形碼與二維碼條形碼和二維碼 條形碼(barcode)是將寬度不等的多個(gè)黑條和空白，按照一定的編碼規(guī)則排列，用以表達(dá)一組信息的圖形標(biāo)識(shí)符。PDF417碼碼QR碼碼Universal Product Code條形碼的解碼條形碼的解碼 第一個(gè)數(shù)字（在這里是 0）被稱為數(shù)字系統(tǒng)字符， 0的意思是說(shuō)這是一個(gè)規(guī)范的條形碼。如果是具有不

6、同重量的貨物（像肉類或其他商品），這個(gè)數(shù)字是 2；訂單、票券的 U P C 編碼的第一個(gè)數(shù)字通常是 5。 緊接著的 5個(gè)數(shù)字是制造商代碼。再后面的 5個(gè)數(shù)字（ 0 1 2 5 1）是該公司的某種產(chǎn)品的編號(hào)。 最后的數(shù)字（這里是 7）稱作模校驗(yàn)字符，這個(gè)字符可用來(lái)進(jìn)行另外一種錯(cuò)誤檢驗(yàn)。條形碼校驗(yàn) 為了解釋校驗(yàn)字符是怎樣工作的，將前 11個(gè)數(shù)字（是 0 51000 01251）各用一個(gè)字母來(lái)代替：A BCDEF GHIJK 然后，計(jì)算下式的值：3（A + C + E + G + I + K）+（B + D + F + H + J）3（0 + 1 + 0 + 0 + 2 + 1）+（5 + 0 +

7、0 + 1 + 5）= 34 + 11 = 2 3從緊挨它并大于等于它的一個(gè)1 0的整倍數(shù)中減去它，其結(jié)果稱為模校驗(yàn)字符。緊挨2 3并大于等于 2 3的一個(gè)1 0的整倍數(shù)是 3 0 ,故：3 02 3 = 7 這就是印在外包裝上并以 UPC（Universal Product Code）形式編碼的模校驗(yàn)字符，這是一種冗余措施。如果掃描儀計(jì)算出來(lái)的模校驗(yàn)結(jié)果和 U P C中編碼中的校驗(yàn)字不一致，計(jì)算機(jī)就不能將這個(gè) U P C作為一個(gè)有效值接收。二進(jìn)制與邏輯門需要復(fù)習(xí)的背景知識(shí)計(jì)算機(jī)組成原理 二進(jìn)制、八進(jìn)制、十進(jìn)制、十六進(jìn)制的轉(zhuǎn)換 與、或、非、同或、異或、或非、與非 全加器、半加器、反向器 原碼、

8、反碼、補(bǔ)碼 鎖存器、觸發(fā)器擴(kuò)充的 2的各次冪的表 不同進(jìn)制之間的轉(zhuǎn)換常見的邏輯門 與、或、非、與非、或非、與或非、異或、同或量子編碼量子編碼 量子計(jì)算是利用量子力學(xué)來(lái)大幅度加速計(jì)算，微軟，谷歌，英特爾和IBM投入了數(shù)千萬(wàn)美元，通過(guò)不同的量子位技術(shù)來(lái)實(shí)現(xiàn)一臺(tái)實(shí)用的量子計(jì)算機(jī)。量子計(jì)算機(jī)處理的信息是以量子位的形式存儲(chǔ)的，每個(gè)量子位可以使1或0或這兩個(gè)狀態(tài)的疊加，因此可以表示比傳統(tǒng)的二進(jìn)制更多的數(shù)據(jù)。它有望解決人類一些最復(fù)雜的問(wèn)題。它得到了亞馬遜創(chuàng)始人兼 CEO Jeff Bezos、NASA 和 CIA 的支持。每一臺(tái)造價(jià) 10,000,000 美元并且在零下 459 度下運(yùn)行。而且沒人知道它究竟

9、是怎樣工作的。量子計(jì)算機(jī)http:/ 使用格型架構(gòu)（lattice architecture）的 5 量子位處理器，其可以擴(kuò)展成更大更強(qiáng)的量子計(jì)算機(jī)和 1950 年代早期的計(jì)算機(jī)一樣，今天的量子計(jì)算機(jī)要占據(jù)一整個(gè)實(shí)驗(yàn)室量子計(jì)算的研究硬件加拿大的D-Wave公司首先實(shí)現(xiàn)了16個(gè)超導(dǎo)量子比特的量子計(jì)算機(jī)，可以提高優(yōu)化問(wèn)題的效率。谷歌和IBM都是用超導(dǎo)量子技術(shù)來(lái)實(shí)現(xiàn)計(jì)算設(shè)備。英特爾投資荷蘭代爾夫特理工大學(xué)的量子技術(shù)研究項(xiàng)目QuTech，使用“硅原子點(diǎn)”技術(shù)，通過(guò)向純硅中加入電子造出的人造原子，微波控制電子的量子態(tài)。微軟選擇基于非阿貝爾任意子的拓?fù)淞孔颖忍兀娮油ㄟ^(guò)半導(dǎo)體結(jié)構(gòu)時(shí)會(huì)出現(xiàn)準(zhǔn)離子，他們交叉路

10、徑可以用來(lái)編寫量子信息，可以減少錯(cuò)誤修正比特?cái)?shù)量，還需要進(jìn)一步驗(yàn)證其是否存在。ionQ的Chris Monroe堅(jiān)持囚禁離子技術(shù)，并在馬里蘭大學(xué)的實(shí)驗(yàn)室客服對(duì)離子控制的挑戰(zhàn)。超導(dǎo)量子位（superconducting qubits）囚禁離子（trapped ions）量子計(jì)算的研究軟件 微軟聯(lián)合加州大學(xué)圣芭芭拉分校Station Q實(shí)驗(yàn)室，Redmod的QuArC團(tuán)隊(duì) Intel-荷蘭戴爾福特理工大學(xué)的QuTech實(shí)驗(yàn)室 普渡大學(xué)的Station Q Purdue實(shí)驗(yàn)室 馬里蘭大學(xué)，悉尼大學(xué)，哥本哈根大學(xué)的QDev實(shí)驗(yàn)室 谷歌與加州大學(xué)圣芭芭拉分校John M. Martinis團(tuán)隊(duì)合作利用超

11、導(dǎo)體建立量子計(jì)算機(jī) IBM的沃森實(shí)驗(yàn)室 耶魯大學(xué)Schoelkopf實(shí)驗(yàn)室 NASA量子人工智能實(shí)驗(yàn)室 中科院量子信息重點(diǎn)實(shí)驗(yàn)室等團(tuán)隊(duì)均在關(guān)注量子計(jì)算領(lǐng)域。目標(biāo)應(yīng)用 加解密 將兩個(gè)大素?cái)?shù)（萬(wàn)位以上）相乘十分容易，但是想要對(duì)其乘積進(jìn)行因式分解卻極其困難，因此可以將乘積公開作為加密密鑰，計(jì)算機(jī)需要處理幾千年。 2001 年，IBM 使用一臺(tái) 7 量子位的量子計(jì)算機(jī)求解了 15 的因子 3 和 5 2012 年，一個(gè)研究團(tuán)隊(duì)求解了 21 的因子。然后到了 2014 年，一種被稱為極小化算法（minimization algorithm）的前沿方法成功求解了 56,153 的因子。 仿真IBM開放量子

12、計(jì)算仿真平臺(tái)https:/ 通過(guò)檢測(cè)DNA，并通過(guò)測(cè)序技術(shù)，與目標(biāo)DNA進(jìn)行對(duì)比。 為什么測(cè)序？ 疾病檢測(cè) 預(yù)防與治療 人工培育工作流程測(cè)序（Sanger法）測(cè)序與匹配 與目標(biāo)串進(jìn)行比對(duì)（串匹配算法） 基因變異，允許誤差（靈敏度）技術(shù)發(fā)展-成本降低/sequencingcostsdata/目前主要挑戰(zhàn)性問(wèn)題 計(jì)算和存儲(chǔ)的增長(zhǎng)速度與數(shù)據(jù)規(guī)模難以匹配The cancer genome，Michael R. Stratton, Peter J. Campbell & P. Andrew Futreal，Nature 458, 719-724(9 April

13、2009)數(shù)據(jù)規(guī)模增長(zhǎng)速度：數(shù)據(jù)規(guī)模增長(zhǎng)速度：2 2年年1010倍倍存儲(chǔ)增長(zhǎng)速度：存儲(chǔ)增長(zhǎng)速度：2 2年年4 4倍倍處理器增長(zhǎng)速度：處理器增長(zhǎng)速度：1818個(gè)月個(gè)月2 2倍倍作業(yè)1、復(fù)習(xí)二進(jìn)制、八進(jìn)制、十進(jìn)制、十六進(jìn)制之間的互相轉(zhuǎn)換2、復(fù)習(xí)邏輯門和移位等操作的物理結(jié)構(gòu)與操作原理3、調(diào)研QR二維碼的識(shí)別過(guò)程4、閱讀量子計(jì)算機(jī)和DNA測(cè)序的相關(guān)文獻(xiàn)或者論文程序設(shè)計(jì)語(yǔ)言原理本章內(nèi)容 程序設(shè)計(jì)語(yǔ)言的發(fā)展 計(jì)算模型和語(yǔ)言范型 語(yǔ)言：標(biāo)準(zhǔn)和實(shí)現(xiàn) 語(yǔ)言的開發(fā)和標(biāo)準(zhǔn)化 新趨勢(shì)程序設(shè)計(jì)語(yǔ)言的發(fā)展 程序是計(jì)算機(jī)科學(xué)技術(shù)領(lǐng)域最基本最核心的概念，有計(jì)算機(jī)就必須有程序，有描述程序的手段和方式，即，必須有描述程序的程序設(shè)

14、計(jì)語(yǔ)言 硬件計(jì)算機(jī)，就是機(jī)器語(yǔ)言程序的執(zhí)行器機(jī)器語(yǔ)言程序的執(zhí)行器（解釋器） 計(jì)算機(jī)硬件只能處理二進(jìn)制二進(jìn)制形式的程序（機(jī)器語(yǔ)言程序）。如MIPS機(jī)器語(yǔ)言：用歐幾里得算法求GCD的程序 機(jī)器語(yǔ)言，人很難閱讀、理解、使用 使用機(jī)器開發(fā)程序的成本高昂，耗時(shí)巨大，容易出錯(cuò)，難以檢查，依賴于具體計(jì)算機(jī)，移植困難程序設(shè)計(jì)語(yǔ)言的發(fā)展 為解決程序的易寫和可讀性，人們發(fā)展了符號(hào)形式的匯編語(yǔ)言。例 每條指令都很容易理解，容易書寫和閱讀 仍用與機(jī)器語(yǔ)言直接對(duì)應(yīng)的簡(jiǎn)單線性形式。沒有高級(jí)結(jié)構(gòu)，不支持程序的高級(jí)組織，大型程序難以理解和開發(fā)，移植性差MIPS匯編語(yǔ)言：匯編語(yǔ)言：GCD程序程序Top 10 編程語(yǔ)言 TIOB

15、E 指數(shù)走勢(shì)(2002-2016)2016-12 月編程語(yǔ)言排行榜 TOP20為什么有這么多語(yǔ)言 計(jì)算機(jī)的應(yīng)用領(lǐng)域豐富多彩 不同領(lǐng)域、不同具體應(yīng)用對(duì)于合適的語(yǔ)言有不同要求 一種語(yǔ)言無(wú)法最好地滿足所有應(yīng)用的需要 語(yǔ)言設(shè)計(jì)的許多方面有很多選擇 不同的設(shè)計(jì)選擇通常是各有各的優(yōu)點(diǎn)和缺點(diǎn) 常常是“魚和熊掌不可兼得” 新應(yīng)用領(lǐng)域和應(yīng)用需求不斷出現(xiàn) 不同領(lǐng)域（任務(wù)）有特殊的功能或描述方式的要求 為滿足新需要，人們常常設(shè)計(jì)出新的語(yǔ)言 如網(wǎng)絡(luò)、實(shí)時(shí)應(yīng)用、圖形用戶界面，業(yè)務(wù)處理等為什么有這么多語(yǔ)言 硬件發(fā)展，例如速度、容量、并行機(jī)、RISC等 有些過(guò)去認(rèn)為“奢侈”的特征，由于有助于軟件系統(tǒng)的開發(fā)者，慢慢變成必備的

16、特征（如GC） 例：近來(lái)多核多處理器系統(tǒng)正在快速發(fā)展，要求新的編程方式和技術(shù)，將推動(dòng)語(yǔ)言里支持并行程序設(shè)計(jì)的特征的大發(fā)展 安迪-比爾定律 程序技術(shù)發(fā)展，如 結(jié)構(gòu)化程序設(shè)計(jì)（結(jié)構(gòu)化程序設(shè)計(jì)語(yǔ)言） 面向?qū)ο蟮某绦蛟O(shè)計(jì)（面向?qū)ο蟮恼Z(yǔ)言） 腳本技術(shù)，等 應(yīng)用的驅(qū)動(dòng)和牽引 程序設(shè)計(jì)語(yǔ)言的發(fā)展 計(jì)算模型和語(yǔ)言范型 語(yǔ)言：標(biāo)準(zhǔn)和實(shí)現(xiàn) 語(yǔ)言的開發(fā)和標(biāo)準(zhǔn)化 新趨勢(shì)計(jì)算模型和語(yǔ)言范型 形成許多程序設(shè)計(jì)語(yǔ)言的另一重要原因：對(duì)計(jì)算過(guò)程可以有多種不同看法，由此產(chǎn)生了不同的計(jì)算模型（范型，Paradigms） 基于不同計(jì)算范型產(chǎn)生了不同的語(yǔ)言類（語(yǔ)言范型）。主要范型有： 過(guò)程式范型（Procedural，或稱命令式，Im

17、perative）： 把計(jì)算看成一系列操作的執(zhí)行，基本計(jì)算元素是一組基本操作。計(jì)算在一個(gè)環(huán)境里進(jìn)行，操作的效果就是改變環(huán)境的狀態(tài)： 語(yǔ)言提供一組基本操作和一組描述組合操作的手段，提供的抽象手段是定義新操作（定義過(guò)程）。過(guò)程實(shí)現(xiàn)大步的狀態(tài)變換 寫程序就是描述操作執(zhí)行的順序過(guò)程，描述狀態(tài)和狀態(tài)的變化 常規(guī)語(yǔ)言，如C，Pascal，F(xiàn)ortran 等，都是命令式語(yǔ)言計(jì)算模型和語(yǔ)言范型 函數(shù)式范型（Functional）： 把計(jì)算看成對(duì)數(shù)據(jù)的函數(shù)變換，一個(gè)計(jì)算就是一系列函數(shù)變換 基本計(jì)算元素是一組基本函數(shù)，語(yǔ)言提供各種函數(shù)組合機(jī)制（復(fù)合、函 數(shù)選擇），抽象手段是定義新函數(shù)（允許遞歸定義） 最早的函數(shù)式

18、語(yǔ)言是John McCarthy 開發(fā)的Lisp。目前最重要的函數(shù)式語(yǔ)言包括Common Lisp，Scheme，ML 和Haskell 等。Scheme例子 Scheme 語(yǔ)言是LISP語(yǔ)言的一個(gè)方言(或說(shuō)成變種)，它誕生于1975年的MIT。 可以采用可以采用Guile(GNUsextensionlanguage)。Guile是GNU工程的一個(gè)項(xiàng)目，它是GNU擴(kuò)展語(yǔ)言庫(kù)，它也是Scheme語(yǔ)言的一個(gè)具體實(shí)現(xiàn)。 變量定義變量定義(define a 100) (set! a “xyz) Lambda關(guān)鍵字關(guān)鍵字來(lái)定義過(guò)程(define add5 (lambda (x) (+ x 5) (add

19、5 1) = 5(define square (lambda (x) (* x x) 過(guò)程的嵌套定義過(guò)程的嵌套定義(define fix (define fix (lambda (x y z) (lambda (x y z) (define add (define add (lambda (a b) (+ a b) (lambda (a b) (+ a b) (- x (add y z) (- x (add y z)(display (fix 100 20 30)(display (fix 100 20 30)Scheme代碼的結(jié)構(gòu) 順序結(jié)構(gòu) if結(jié)構(gòu)結(jié)構(gòu) Case結(jié)構(gòu)結(jié)構(gòu) 遞歸遞歸(begi

20、n (begin (display Hello world!) ; (display Hello world!) ; 輸出輸出Hello world! (newline) (newline) ; ; 換行換行(if (= x 0) (if (= x 0) (display is zero)(display is zero)(display not zero)(display not zero)(case (case (* * 2 3) 2 3) (2 3 5 7) prime) (2 3 5 7) prime) (1 4 6 8 9) composite) (1 4 6 8 9) compos

21、ite)參考參考LispLisp和和SchemeScheme相關(guān)語(yǔ)言教程，結(jié)論：語(yǔ)法簡(jiǎn)潔、效率高相關(guān)語(yǔ)言教程，結(jié)論：語(yǔ)法簡(jiǎn)潔、效率高(define factoral (lambda (x)(define factoral (lambda (x) (if (= x 1) 1 (if (匯編語(yǔ)言-高級(jí)語(yǔ)言 計(jì)算模型和語(yǔ)言范型 過(guò)程式： C 函數(shù)式:Scheme (語(yǔ)法例子) 面向?qū)ο?Java 邏輯式:Prolog （例子）程序設(shè)計(jì)語(yǔ)言 語(yǔ)言：標(biāo)準(zhǔn)和實(shí)現(xiàn) 翻譯和解釋 純編譯 C 純解釋 腳本語(yǔ)言 編譯+解釋 Java-Lisp 即時(shí)編譯和動(dòng)態(tài)編譯優(yōu)化 微程序優(yōu)化語(yǔ)言設(shè)計(jì)：實(shí)例不同設(shè)計(jì)目標(biāo)導(dǎo)致了不同

22、的語(yǔ)言設(shè)計(jì)： Fortran：高效的大規(guī)模數(shù)值計(jì)算 Lisp：靈活的符號(hào)表達(dá)式處理，數(shù)據(jù)與程序的統(tǒng)一 Pascal：結(jié)構(gòu)化程序設(shè)計(jì)，教學(xué)，清晰的基本程序設(shè)計(jì)概念 C：系統(tǒng)程序設(shè)計(jì)，低級(jí)操作與高級(jí)語(yǔ)言結(jié)構(gòu)的結(jié)合 Smalltalk：概念的統(tǒng)一性和最小化，面向?qū)ο?C+：復(fù)雜的系統(tǒng)程序設(shè)計(jì)，低級(jí)機(jī)制與高級(jí)抽象機(jī)制（數(shù)據(jù)抽象的面向?qū)ο螅┑挠袡C(jī)融合，支持多種范型的程序設(shè)計(jì)技術(shù) Ada：復(fù)雜軟件，復(fù)雜的嵌入式系統(tǒng)、實(shí)時(shí)系統(tǒng) Java：支持面向?qū)ο蟮某绦蛟O(shè)計(jì)，平臺(tái)無(wú)關(guān)性，一次編程到處使用，網(wǎng)絡(luò)環(huán)境下的應(yīng)用，安全性 Python, Perl等重要性：圖靈獎(jiǎng) 1966-2010，45屆圖靈獎(jiǎng)，屆圖靈獎(jiǎng)，15屆

23、由于與程序設(shè)計(jì)語(yǔ)言有關(guān)的工作獲獎(jiǎng)屆由于與程序設(shè)計(jì)語(yǔ)言有關(guān)的工作獲獎(jiǎng)1966, Alan J. Perlis, 早期語(yǔ)言和早期語(yǔ)言和Algol 60的貢獻(xiàn)，圖靈獎(jiǎng)第一位獲獎(jiǎng)?wù)叩呢暙I(xiàn)，圖靈獎(jiǎng)第一位獲獎(jiǎng)?wù)?971, John McCarthy, LISP語(yǔ)言語(yǔ)言, 程序語(yǔ)程序語(yǔ)義義, 程序理論程序理論1972, E. W. Dijkstra, Algol編譯編譯, 結(jié)構(gòu)化結(jié)構(gòu)化程序設(shè)計(jì)程序設(shè)計(jì), 并發(fā)概念和原語(yǔ)并發(fā)概念和原語(yǔ), 形式化推導(dǎo)形式化推導(dǎo), 衛(wèi)式命令等衛(wèi)式命令等1977, John Backus, Fortran語(yǔ)言語(yǔ)言, FP語(yǔ)言語(yǔ)言, BNF等等1978, Robert Floyd,

24、Algol編譯編譯, 編譯技術(shù)編譯技術(shù), 程序優(yōu)化程序優(yōu)化, 歸納斷言法和前后斷言歸納斷言法和前后斷言, 程序程序正確性正確性, 編譯生成編譯生成1979, K. E. Iverson, APL語(yǔ)言語(yǔ)言1980, C.A.R. Hoare, 結(jié)構(gòu)化程序設(shè)計(jì)結(jié)構(gòu)化程序設(shè)計(jì), case語(yǔ)句語(yǔ)句, 公理語(yǔ)義學(xué)公理語(yǔ)義學(xué), 并發(fā)程序理論并發(fā)程序理論, CSP 等等1983, Dennis Ritchie 和和Thompson, C語(yǔ)語(yǔ)言和言和UNIX1984, Niklaus Wirth, Algol W, PL 360, Pascal, Modula-1/2, Oberon, 逐步求精逐步求精, 結(jié)構(gòu)化程序設(shè)計(jì)結(jié)構(gòu)化程序設(shè)計(jì), 語(yǔ)法圖語(yǔ)法圖1991, Robin Milner, ML語(yǔ)言語(yǔ)言, 并發(fā)理論并發(fā)理論, CCS2001, Ole-Johan Dahl 和和Kristen Nygaard, Simula語(yǔ)言語(yǔ)言, OO概念概念2003, Alan