Concepts in Programming Languages (Hardcover)

John C. Mitchell

  • 出版商: Camberidge
  • 出版日期: 2002-10-14
  • 售價: $4,240
  • 貴賓價: 9.5$4,028
  • 語言: 英文
  • 頁數: 540
  • 裝訂: Hardcover
  • ISBN: 0521780985
  • ISBN-13: 9780521780988
  • 相關分類: Java 程式語言Object-oriented程式語言
  • 海外代購書籍(需單獨結帳)

買這商品的人也買了...

相關主題

商品描述

For undergraduate and beginning graduate students, this textbook explains and examines the central concepts used in modern programming languages, such as functions, types, memory management, and control. The book is unique in its comprehensive presentation and comparison of major object-oriented programming languages. Separate chapters examine the history of objects, Simula and Smalltalk, and the prominent languages C++ and Java. The author presents foundational topics, such as lambda calculus and denotational semantics, in an easy-to-read, informal style, focusing on the main insights provided by these theories. Advanced topics include concurrency, concurrent object-oriented programming, program components, and inter-language interoperability. A chapter on logic programming illustrates the importance of specialized programming methods for certain kinds of problems. This book will give the reader a better understanding of the issues and tradeoffs that arise in programming language design, and a better appreciation of the advantages and pitfalls of the programming languages they use.

Contents

Part I. Functions and Foundations: 1. Introduction
2. Computability
3. Lisp: functions, recursion, and lists
4. Fundamentals
Part II. Procedures, Types, Memory Management and Control: 5. The Algol family and ML
6. Type systems and type inference
7. Scope, functions, and storage management
8. Control in sequential languages
Part III. Modularity, Abstraction and Object-Oriented Programming: 9 Data abstraction and modularity
10. Concepts in object-oriented languages
11. History of objects: simula and smalltalk
12. Objects and run-time efficiency: C++
13. Portability and safety: Java
Part IV. Concurrency and logic Programming: 14. Concurrent and distributed programming
15. The logic programming paradigm and prolog by Krzysztof Apt
Appendix: Additional programming examples
Glossary.

商品描述(中文翻譯)

對於大學本科生和初級研究生,這本教科書解釋並探討了現代編程語言中使用的核心概念,如函數、類型、內存管理和控制。該書在全面介紹和比較主要面向對象的編程語言方面獨具特色。不同章節探討了對象的歷史、Simula和Smalltalk以及著名的C++和Java語言。作者以易讀、非正式的風格介紹了基礎主題,如λ演算和指示語義,重點關注這些理論提供的主要見解。高級主題包括並發性、並發面向對象編程、程序組件和跨語言互操作性。關於邏輯編程的章節說明了對於某些問題而言,專門的編程方法的重要性。這本書將使讀者更好地理解編程語言設計中出現的問題和權衡,並更好地理解他們使用的編程語言的優點和缺點。

目錄:
第一部分. 函數和基礎: 1. 引言
2. 可計算性
3. Lisp: 函數、遞歸和列表
4. 基礎知識
第二部分. 程序、類型、內存管理和控制: 5. Algol家族和ML
6. 類型系統和類型推斷
7. 作用域、函數和存儲管理
8. 串行語言中的控制
第三部分. 模塊化、抽象和面向對象編程: 9. 數據抽象和模塊化
10. 面向對象語言中的概念
11. 對象的歷史: Simula和Smalltalk
12. 對象和運行時效率: C++
13. 可移植性和安全性: Java
第四部分. 並發和邏輯編程: 14. 並發和分佈式編程
15. 邏輯編程範式和Prolog(作者:Krzysztof Apt)
附錄: 額外的編程示例
詞彙表。