《程序設計語言理論》給齣分析程序設計語言語法性質、操作性質和語義性質的一個框架,該框架基於λ演算係統。全書圍繞著λ演算的一個序列來組織,該序列中λ演算的類型係統依次變得越來越復雜,這些λ演算用來分析和討論相應的程序設計語言概念,如多態性、抽象數據類型、子類型等。以類型係統為中心對程序設計語言進行的這種研究,在軟件工程、語言設計、高性能編譯器、計算機和網絡安全等方麵有著重要應用。
《程序設計語言理論》可作為高等院校計算機科學及相關專業的研究生教材,也可供計算機軟件工程高級技術人員參考。
發表於2024-12-24
程序設計語言理論 2024 pdf epub mobi 電子書 下載
程序設計語言理論基礎 Foundations for Programming Languages [米切爾] 感覺這兩本書的內容驚人類似啊~~~~~ 大概看瞭下這兩本,感覺隻要看其中一本就行瞭。 書講的內容比較深奧和理論,但對設計齣程序語言非常有用。 就如同要造原子彈,得先把理論學好。 當然,理論學好瞭...
評分程序設計語言理論基礎 Foundations for Programming Languages [米切爾] 感覺這兩本書的內容驚人類似啊~~~~~ 大概看瞭下這兩本,感覺隻要看其中一本就行瞭。 書講的內容比較深奧和理論,但對設計齣程序語言非常有用。 就如同要造原子彈,得先把理論學好。 當然,理論學好瞭...
評分程序設計語言理論基礎 Foundations for Programming Languages [米切爾] 感覺這兩本書的內容驚人類似啊~~~~~ 大概看瞭下這兩本,感覺隻要看其中一本就行瞭。 書講的內容比較深奧和理論,但對設計齣程序語言非常有用。 就如同要造原子彈,得先把理論學好。 當然,理論學好瞭...
評分程序設計語言理論基礎 Foundations for Programming Languages [米切爾] 感覺這兩本書的內容驚人類似啊~~~~~ 大概看瞭下這兩本,感覺隻要看其中一本就行瞭。 書講的內容比較深奧和理論,但對設計齣程序語言非常有用。 就如同要造原子彈,得先把理論學好。 當然,理論學好瞭...
評分程序設計語言理論基礎 Foundations for Programming Languages [米切爾] 感覺這兩本書的內容驚人類似啊~~~~~ 大概看瞭下這兩本,感覺隻要看其中一本就行瞭。 書講的內容比較深奧和理論,但對設計齣程序語言非常有用。 就如同要造原子彈,得先把理論學好。 當然,理論學好瞭...
圖書標籤: 形式語義學 理論計算機 泛代數 編程語言理論 程序設計 Lambda演算
贈書
評分贈書
評分贈書
評分贈書
評分贈書
程序設計語言理論 2024 pdf epub mobi 電子書 下載