Animated Program Design

Marco T. Morazán joined Seton Hall University in 1999 where he teaches at all levels of the Computer Science curriculum including his signature courses on Problem Solving and Programming. He is a strong proponent of program by design in which types guide program development and the author of multiple peer-reviewed articles on computer science education and the implementation of programming languages. Animated Program Design is the result of over ten years learning from his students how to teach them type-based programming and along with his previous Springer book Animated Problem Solving presents a year-long introduction to programming and Computer Science curriculum for first-year university students.

• Part I: Basic Problem Solving and Program Design.- 1. The Science of Problem Solving.- 2. The N-Puzzle Problem.- 3. Randomness.- Part II: Generative Recursion.- 4. Introduction to Generative Recursion.- 5. Sorting.- 6. Searching.- 7. N-Puzzle Version 2.- 8. N-Puzzle Version 3.- Part III: Accumulative Recursion.- 9. Accumulators.- 10. N-Puzzle Versions 4 and 5.- 11. Iteration.- 12. N-Puzzle Version 6.- 13. Continuation-Passing Style.- Part IV: Mutation.- 14. Sharing Values.- 15. Mutation Sequencing.- 16. Vectors.- 17. In-Place Operations.- 18. The Chicken and the Egg Paradox.- Part V: Epilogue.- 19. Where to go from here.