Concepts in Programming Languages

電子版価格 ¥9,495
  • 電書あり

Concepts in Programming Languages

  • 提携先の海外書籍取次会社に在庫がございます。通常3週間で発送いたします。
    1. 納期遅延や、ご入手不能となる場合が若干ございます。
    2. 複数冊ご注文の場合、分割発送となる場合がございます。
    3. 美品のご指定は承りかねます。
  • 【重要:入荷遅延について】
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • 製本 Hardcover:ハードカバー版/ページ数 540 p.
  • 言語 ENG
  • 商品コード 9780521780988
  • DDC分類 005.13

Full 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.


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.