Systematic Program Design

From Clarity to Efficiency

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Cover of the book Systematic Program Design by Yanhong Annie Liu, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Yanhong Annie Liu ISBN: 9781107327153
Publisher: Cambridge University Press Publication: May 20, 2013
Imprint: Cambridge University Press Language: English
Author: Yanhong Annie Liu
ISBN: 9781107327153
Publisher: Cambridge University Press
Publication: May 20, 2013
Imprint: Cambridge University Press
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Cambridge University Press

Cover of the book Market in State by Yanhong Annie Liu
Cover of the book Complicity and the Law of State Responsibility by Yanhong Annie Liu
Cover of the book Democratic Policymaking by Yanhong Annie Liu
Cover of the book A Global Green New Deal by Yanhong Annie Liu
Cover of the book Camera Aloft by Yanhong Annie Liu
Cover of the book Small Arms Survey 2013 by Yanhong Annie Liu
Cover of the book The Neuroscience of Adolescence by Yanhong Annie Liu
Cover of the book The Acquisition of Syntactic Structure by Yanhong Annie Liu
Cover of the book Troubleshooting and Problem-Solving in the IVF Laboratory by Yanhong Annie Liu
Cover of the book Stolen Women in Medieval England by Yanhong Annie Liu
Cover of the book Set-Theoretic Methods for the Social Sciences by Yanhong Annie Liu
Cover of the book Elementary Probability by Yanhong Annie Liu
Cover of the book Experiments and Competition Policy by Yanhong Annie Liu
Cover of the book The Taming of the Shrew by Yanhong Annie Liu
Cover of the book Understanding Probability by Yanhong Annie Liu
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy