Systematic Program Design From Clarity to Efficiency |
|
| Author:
| Liu, Yanhong Annie |
| ISBN: | 978-1-107-03660-4 |
| Publication Date: | May 2013 |
| Publisher: | Cambridge University Press
|
| Book Format: | Hardback |
| List Price: | USD $105.00 |
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.