| [NT 15003449]: |
pt. 1. Functions and foundations -- Introduction -- Computability -- Lisp: functions, recursion, and lists -- Fundamentals -- pt. 2. Procedures, types, memory management, and control -- the Algol family and ML -- Type systems and type inference -- Scope, functions, and storage management -- Control in sequential languages -- pt. 3. Modularity, abstraction, and object-oriented programming -- Data abstraction and modularity -- Concepts in object-oriented languages -- History of objects: Simula and Smalltalk -- Objects and run-time efficiency: C++ -- Portability and safety: Java -- pt. 4. Concurrency and logic programming -- Concurrent and distributed programming -- The logic programming paradigm and prolog. |