Touch of Class: Learning to Program Well with Objects and Contracts Book

Prefaces.- I. Basics.- The industry of pure ideas.- Dealing with objects.- Program structure basics.- The interface of a class.- Just enough logic.- Creating objects and executing systems.- Control structures.- Routines, functional abstraction and information hiding.- Variables, assignment and references.- II. How things work.- Just enough hardware.- Describing syntax.- Programming languages and tools.- III. Algorithms and data structures.- Fundamental data structures, genericity, and algorithm complexity.- Recursion and trees.- Devising and engineering an algorithm: Topological Sort.- IV. Obejct-oriented techniques.- Inheritance.- Operations as objects: agents and lambda calculus.- Event-driven design.- Program correctness and proofs.- V. Towards Software Engineering.- Introduction to software engineering.- VI. Appendices.- A: An introduction to Java (from material by Marco Piccioni.- B: An introduction to C# (from material by Benjamin Morandi).- C: An introduction to C++ (from material by Nadia Polikarpova).- D: From C++ to C.- E: Using the EiffelStudio environment.- VII. Credits and index.