Concepts in Programming Languages (絕)
- 20本以上，享 8.5折
售價
$
洽詢
- 一般書籍
- ISBN：9780521780988
- 作者：John C. Mitchell
- 版次：1
- 年份：2003
- 出版商：Cambridge University
- 頁數/規格：529頁
書籍介紹
本書特色
目錄
Description
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.
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.
Features
- Extensive coverage and comparison of object-oriented languages such as C++ and Java
- Presents theoretical concepts, language design goals, design trade-offs, implementation issues, and effect on programming style
- Each chapter contains an extensive list of exercises
Table of 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
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
