Mitchell, John C.
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.
0521780985 9780521780988
2002031217
Programming languages (Electronic computers)
QA76.6 / .M5293 2002
005.13
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.
0521780985 9780521780988
2002031217
Programming languages (Electronic computers)
QA76.6 / .M5293 2002
005.13