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; Appendix: additional programming examples; Glossary.

Promotional Information

A comprehensive undergraduate textbook covering both theory and practical design issues, with an emphasis on object-oriented languages.

About the Author

fm.author_biographical_note1

Reviews

'… an extremely rich source of important information, subtle issues, and diverse and challenging exercises … the book is interesting, challenging and a pleasure to read.' JFP