Introduction to the Theory of Programming Languages
暫譯: 程式語言理論導論
Dowek, Gilles, Lévy, Jean-Jacques
- 出版商: Springer
- 出版日期: 2010-12-15
- 售價: $1,880
- 貴賓價: 9.8 折 $1,842
- 語言: 英文
- 頁數: 96
- 裝訂: Quality Paper - also called trade paper
- ISBN: 0857290754
- ISBN-13: 9780857290755
-
相關分類:
Functional-programming
海外代購書籍(需單獨結帳)
商品描述
1. Terms and Relations.- 2. The Language PCF.- 3. From Evaluation to Interpretation.- 4. Compilation.- 5. PCF with Types.- 6. Type Inference.- 7. References and Assignment.- 8. Records and Objects.- 9. Epilogue.- 10. Index.- 11. Bibliography
商品描述(中文翻譯)
1. 名詞與關係
2. 語言 PCF
3. 從評估到解釋
4. 編譯
5. 帶類型的 PCF
6. 類型推斷
7. 參考與賦值
8. 紀錄與物件
9. 結語
10. 索引
11. 參考文獻
作者簡介
Gilles Dowek is a Professor at École Polytechnique. He is also a Researcher at the Laboratoire d'Informatique de l'École Polytechnique and the Institut National de Recherche en Informatique et en Automatique (INRIA). His research concerns the formalization of mathematics and the mechanization of reasoning. His main contribution is a reformulation of the axiomatic method which provides a central role to the notion of computation. Jean-Jacques Lévy is a senior scientist at the Institut National de Recherche en Informatique et en Automatique and a Professor at École Polytechnique. He has successively worked on operational and denotational semantics of programming languages, on reduction strategies in lambda-calculus and in rewrite systems, on the computer aided design of circuits and on the semantics of concurrency with applications to distribution and mobility.
作者簡介(中文翻譯)
吉爾斯·杜維克（Gilles Dowek）是法國高等工藝學院（École Polytechnique）的教授。他同時也是法國高等工藝學院計算機實驗室（Laboratoire d'Informatique de l'École Polytechnique）和法國國家計算機與自動化研究所（Institut National de Recherche en Informatique et en Automatique, INRIA）的研究員。他的研究涉及數學的形式化和推理的機械化。他的主要貢獻是對公理方法的重新表述，該方法將計算的概念置於中心地位。讓-雅克·萊維（Jean-Jacques Lévy）是法國國家計算機與自動化研究所的高級科學家，也是法國高等工藝學院的教授。他先後研究了編程語言的操作語義和指稱語義、λ演算和重寫系統中的簡化策略、電路的計算機輔助設計，以及與分佈和移動應用相關的並發語義。
