程序設(shè)計(jì)語言理論-文庫吧資料
2024-08-02 07:13本頁面
【正文】 ? 計(jì)算和交互的統(tǒng)一模型理論尚未出現(xiàn) 課 程 簡(jiǎn) 介 計(jì)算機(jī)科學(xué)的理論體系 程序理論 ? 關(guān)心的問題 – 給定模型 M，如何用模型 M解決問題 ? 包括的領(lǐng)域 – 程序設(shè)計(jì)范型、程序設(shè)計(jì)語言、程序設(shè)計(jì)、形式語義、類型論、程序驗(yàn)證、程序分析等 課 程 簡(jiǎn) 介 計(jì)算機(jī)科學(xué)的理論體系 計(jì)算理論 ? 關(guān)心的問題 – 給定模型 M和一類問題，解決該類問題需要多少資源 ? 包括的領(lǐng)域 – 計(jì)算復(fù)雜性理論 課 程 簡(jiǎn) 介 圍繞程序設(shè)計(jì)語言的研究（課程涉及內(nèi)容用 綠色 表示） – 語法：形式語言和自動(dòng)機(jī)理論，語法分析的實(shí)現(xiàn)技術(shù) – 語義： 公理語義 、 操作語義 、 指稱語義 形式描述技術(shù)還有： 代數(shù)規(guī)范 、 范疇論 、屬性文法 – 程序設(shè)計(jì)的范型 ： 命令式語言、函數(shù)式語言 、邏輯程序設(shè)計(jì)語言、 面向?qū)ο蟪绦蛟O(shè)計(jì)語言 、并行程序設(shè)計(jì)語言 課 程 簡(jiǎn) 介 圍繞程序設(shè)計(jì)語言的研究（課程涉及內(nèi)容用 綠色 表示） – 類型論與類型系統(tǒng)：多態(tài)類型、子類型、存在類型 – 程序驗(yàn)證： 程序正確性證明 – 程序分析技術(shù)：數(shù)據(jù)流分析、控制流分析、模型檢查、抽象解釋 – 程序的自動(dòng)生成技術(shù)：程序變換 課 程 簡(jiǎn) 介 學(xué)習(xí)的意義 – 掌握與程序設(shè)計(jì)語言有關(guān)的理論 ， 為從事有關(guān)的研究起一個(gè)奠基的作用 應(yīng)用： – 程序設(shè)計(jì)語言的設(shè)計(jì)和實(shí)現(xiàn) – 程序的自動(dòng)生成 – 程序分析與程序驗(yàn)證 – 提高軟件的可信程度 – 協(xié)議的形式描述和驗(yàn)證 課 程 簡(jiǎn) 介 教材和參考書 – 陳意云 、 張昱 ， 程序設(shè)計(jì)語言理論 （ 第二版 ） ，高等教育出版社 ， – 教學(xué)資源網(wǎng)頁： – 馬世龍 、 眭躍飛等譯 ， 類型和程序設(shè)計(jì)語言 ， 電子工業(yè)出版社 ， – 許滿武譯 ， 程序設(shè)計(jì)語言理論基礎(chǔ) ， 電子工業(yè)出版社 ， – 陳意云 、 張昱 ， 編譯原理 （ 第二版 ） ， 高等教育出版社 ， 課 程 簡(jiǎn) 介 教材和參考書 – 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 Press, 1998. – Glynn Winskel, The Formal Semantics of Programming Languages: An Introduction , MIT Press, 1993. 課 程 簡(jiǎn) 介 課程要求 – 講課進(jìn)展較快 ， 平時(shí)不復(fù)習(xí)不加深理解 ， 后面將聽不懂 – 作業(yè)較多 ， 要求獨(dú)立完成 – 沒有上機(jī)實(shí)驗(yàn) – 考試
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1