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 Operator Methods for Boundary Value Problems by Yanhong Annie Liu
Cover of the book Conceptualising the Social World by Yanhong Annie Liu
Cover of the book Nietzsche: The Anti-Christ, Ecce Homo, Twilight of the Idols by Yanhong Annie Liu
Cover of the book East and West in the Early Middle Ages by Yanhong Annie Liu
Cover of the book The Spirit of Mourning by Yanhong Annie Liu
Cover of the book Salt Production and Social Hierarchy in Ancient China by Yanhong Annie Liu
Cover of the book The Cambridge Companion to Homer by Yanhong Annie Liu
Cover of the book Chinese by Yanhong Annie Liu
Cover of the book Social Media Mining by Yanhong Annie Liu
Cover of the book Global Public Interest in International Investment Law by Yanhong Annie Liu
Cover of the book The Political Economy of Terrorism by Yanhong Annie Liu
Cover of the book Aristophanes and the Poetics of Competition by Yanhong Annie Liu
Cover of the book Global Projects by Yanhong Annie Liu
Cover of the book Parameterization Schemes by Yanhong Annie Liu
Cover of the book The Cambridge Companion to Paul Tillich 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