Systematic Program Design From Clarity to Efficiency |
|
| Author:
| Liu, Yanhong Annie |
| ISBN: | 978-1-139-56787-9 |
| Publication Date: | Jun 2013 |
| Publisher: | Cambridge University Press
|
| Book Format: | Digital download and online |
| List Price: | AUD $270.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.