TY  - BOOK
T1  - Systematic program design from clarity to efficiency
A1  - Liu, Yanhong Annie 1965-
LA  - English
PP  - New York
PB  - Cambridge University Press
YR  - 2013
UL  - https://tuklas.up.edu.ph/Record/UP-1685523046126300330
AB  - "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. The method applies to problems specified in imperative, database, functional, logic, and object-oriented programming languages with different data, control, and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization, and program analysis. The last section of the book points out directions for future studies" -- Provided by publisher.
OP  - 240
CN  - QA 76.6 L578 2013
SN  - 9781107610798 (paperback)
KW  - Computer programming.
KW  - System design.
ER  -