Systematic Program Design: From Clarity to Efficiency 1st Edition by Yanhong Annie Liu (PDF)

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. 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.

User’s Reviews

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐Not able to read book on all of my devices due to a harsh download limit.

⭐This book is very informative. At beginning I just bought this book for my course and it did help me a lot on that. However, this book has interesting points(called III method in the book) and is also very useful for anyone who wants to learn things in this area. Reading such a book is very comfortable.

⭐

Keywords

Free Download Systematic Program Design: From Clarity to Efficiency 1st Edition in PDF format
Systematic Program Design: From Clarity to Efficiency 1st Edition PDF Free Download
Download Systematic Program Design: From Clarity to Efficiency 1st Edition 2013 PDF Free
Systematic Program Design: From Clarity to Efficiency 1st Edition 2013 PDF Free Download
Download Systematic Program Design: From Clarity to Efficiency 1st Edition PDF
Free Download Ebook Systematic Program Design: From Clarity to Efficiency 1st Edition