Systematic Program Design From Clarity to Efficiency |
|
Author:
| Liu, Yanhong Annie |
ISBN: | 978-1-107-61079-8 |
Publication Date: | May 2013 |
Publisher: | Cambridge University Press
|
Book Format: | Paperback |
List Price: | AUD $67.95 |
Book Description:
|
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.
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.