Sequential

The content of this book was developed in order to attend the needs of a Text Book for the course of “Theory of Digital Electronics”.

Authors: Zheng, Rong, Hua, Cunqing
Emphasizes intuition rather than laborious proofs
Provides a recipe for applying theoretical tools to real-world problems
Treats both theoretical and practical aspects of the sequential learning and decision making framework

Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure that programs serve their intended purpose and in further processing for efficient execution such as in optimizing compilers. Optimal program analysis provides a guarantee about the precision of the computed results.

This book aims to present techniques for problem solving using today’s computers, in- cluding both sequentially and in parallel. For example, you might want to find the shortest path from where you are now to the nearest café by using your computer. The primary concerns will likely include correctness (the path found indeed should end at the nearest café), efficiency (that your computer consumed a relatively small amount of energy), and performance (the answer was computed reasonable quickly).