程序設(shè)計語言理論(已修改)
2025-08-01 07:13 本頁面
【正文】 程序設(shè)計語言理論 計算機科學(xué)與技術(shù)學(xué)院 陳意云， 3607043 課 程 簡 介 計算機科學(xué)的理論體系 模型理論 ? 關(guān)心的問題 – 給定模型 M，哪些問題可以由模型 M解決 – 如何比較模型的表達(dá)能力 ? 經(jīng)典計算 – 確定的圖靈機，可計算性理論屬于模型理論 ? 新型計算 – 本質(zhì)特點是交互 ( 并發(fā)、分布、網(wǎng)絡(luò)、網(wǎng)格、云 ) ? 計算和交互的統(tǒng)一模型理論尚未出現(xiàn) 課 程 簡 介 計算機科學(xué)的理論體系 程序理論 ? 關(guān)心的問題 – 給定模型 M，如何用模型 M解決問題 ? 包括的領(lǐng)域 – 程序設(shè)計范型、程序設(shè)計語言、程序設(shè)計、形式語義、類型論、程序驗證、程序分析等 課 程 簡 介 計算機科學(xué)的理論體系 計算理論 ? 關(guān)心的問題 – 給定模型 M和一類問題，解決該類問題需要多少資源 ? 包括的領(lǐng)域 – 計算復(fù)雜性理論 課 程 簡 介 圍繞程序設(shè)計語言的研究（課程涉及內(nèi)容用 綠色 表示） – 語法：形式語言和自動機理論，語法分析的實現(xiàn)技術(shù) – 語義： 公理語義 、 操作語義 、 指稱語義 形式描述技術(shù)還有： 代數(shù)規(guī)范 、 范疇論 、屬性文法 – 程序設(shè)計的范型 ： 命令式語言、函數(shù)式語言 、邏輯程序設(shè)計語言、 面向?qū)ο蟪绦蛟O(shè)計語言 、并行程序設(shè)計語言 課 程 簡 介 圍繞程序設(shè)計語言的研究（課程涉及內(nèi)容用 綠色 表示） – 類型論與類型系統(tǒng)：多態(tài)類型、子類型、存在類型 – 程序驗證： 程序正確性證明 – 程序分析技術(shù)：數(shù)據(jù)流分析、控制流分析、模型檢查、抽象解釋 – 程序的自動生成技術(shù)：程序變換 課 程 簡 介 學(xué)習(xí)的意義 – 掌握與程序設(shè)計語言有關(guān)的理論 ， 為從事有關(guān)的研究起一個奠基的作用 應(yīng)用： – 程序設(shè)計語言的設(shè)計和實現(xiàn) – 程序的自動生成 – 程序分析與程序驗證 – 提高軟件的可信程度 – 協(xié)議的形式描述和驗證 課 程 簡 介 教材和參考書 – 陳意云 、 張昱 ， 程序設(shè)計語言理論 （ 第二版 ） ，高等教育出版社 ， – 教學(xué)資源網(wǎng)頁： – 馬世龍 、 眭躍飛等譯 ， 類型和程序設(shè)計語言 ， 電子工業(yè)出版社 ， – 許滿武譯 ， 程序設(shè)計語言理論基礎(chǔ) ， 電子工業(yè)出版社 ， – 陳意云 、 張昱 ， 編譯原理 （ 第二版 ） ， 高等教育出版社 ， 課 程 簡 介 教材和參考書 – John C. Mitchell, Foundations For Programming Languages, MIT Press, 1996. – Banjamin C. Pierce, Types and Programming Laungages, MIT Press, 2022. – Robert Harper, Practical Foundations for Programming Languages, working draft, 2022. – John C. Reynolds, Theories of Programming Languages , Cambridge University
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1