Overview
- Presents a systematic methodology for program development by using design recipes
- Details advanced recursion concepts, heuristic search, iteration, mutation, loops, program correctness, and vectors
- Evaluates all approaches through complexity analysis and empirical experimentation
Part of the book series: Texts in Computer Science (TCS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (19 chapters)
-
Front Matter
-
Basic Problem Solving and Program Design
-
Front Matter
-
-
Generative Recursion
-
Front Matter
-
-
Accumulative Recursion
-
Front Matter
-
-
Mutation
-
Front Matter
-
Keywords
About this book
This textbook presents a systematic methodology for program development by using design recipes, i.e. a series of steps, each with a specific outcome, that takes a problem solver from a problem statement to a working and tested programmed solution. It introduces the reader to generative recursion, heuristic searching, accumulative recursion, tail recursion, iteration, mutation, loops, program correctness, and vectors. It uses video game development to make the content fun while at the same time teaching problem-solving techniques.
The book is divided into four parts. Part I presents introductory material on basic problem solving and program design. It starts by reviewing the basic steps of a design recipe using structural recursion on a list. It then proceeds to review code refactoring–a common technique used to refine programs when a better or more elegant way is found to solve a problem–and introduces the reader to randomness. Next, Part II explores a new type of recursioncalled generative recursion. It navigates the reader through examples involving fractal image generation, efficient sorting, and efficient searching techniques such as binary, depth-first, and breadth-first search. Part III then explores a new type of recursion called accumulative (or accumulator) recursion. Examples used include finding a path in a graph, improving insertion sorting, and list-folding operations. Finally, Part IV explores mutation. To aid the reader in properly sequencing mutations it presents Hoare Logic and program correctness. In addition, it introduces vectors, vector processing, in-place operations, and circular data. Throughout the whole book complexity analysis and empirical experimentation is used to evaluate solutions.
This textbook targets undergraduates at all levels as well as graduate students wishing to learn about program design. It details advanced types of recursion, a disciplined approach to the use of mutation, and illustrates the design process by developing a video game exploiting iterative refinement.Authors and Affiliations
About the author
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.
Bibliographic Information
Book Title: Animated Program Design
Book Subtitle: Intermediate Program Design Using Video Game Development
Authors: Marco T. Morazán
Series Title: Texts in Computer Science
DOI: https://doi.org/10.1007/978-3-031-04317-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2022
Hardcover ISBN: 978-3-031-04316-1Published: 24 September 2022
Softcover ISBN: 978-3-031-04319-2Published: 25 September 2023
eBook ISBN: 978-3-031-04317-8Published: 23 September 2022
Series ISSN: 1868-0941
Series E-ISSN: 1868-095X
Edition Number: 1
Number of Pages: XIX, 514
Number of Illustrations: 1 b/w illustrations
Topics: Software Engineering/Programming and Operating Systems, Programming Techniques, Game Development