A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations.
Describes a systematic program design method, starting with specifications of computations and deriving implementations by step-wise program analysis and transformations.