TY - BOOK AU - Mitchell,John C. TI - Concepts in programming language SN - 0521780985 AV - QA76.6 .M5293 2002 U1 - 005.13 21 PY - 2002/// CY - New York PB - Cambridge University Press KW - Programming languages (Electronic computers) N1 - Includes bibliographical references and index; pt. 1. Functions and Foundations. 1. Introduction. 2. Computability. 3. Lisp: Functions, Recursion, and Lists. 4. Fundamentals -- pt. 2. 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 -- pt. 3. 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 -- pt. 4. Concurrency and Logic Programming. 14. Concurrent and Distributed Programming. 15. The Logic Programming Paradigm and Prolog -- App. A. Additional Program Examples ER -