Concepts in programming language /
John C. Mitchell.
- New York : Cambridge University Press, 2002.
- x, 529 p. : ill. ; 26 cm.
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.