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 States Against Migrants by Yanhong Annie Liu
Cover of the book Religion in the Modern World by Yanhong Annie Liu
Cover of the book D. H. Lawrence In Context by Yanhong Annie Liu
Cover of the book The Cambridge Companion to Black Theology by Yanhong Annie Liu
Cover of the book Kant: Natural Science by Yanhong Annie Liu
Cover of the book Defining Jewish Difference by Yanhong Annie Liu
Cover of the book Familiar Objects and their Shadows by Yanhong Annie Liu
Cover of the book Mathematical Aspects of Quantum Field Theory by Yanhong Annie Liu
Cover of the book Learning to Teach in the Secondary School by Yanhong Annie Liu
Cover of the book Bandung, Global History, and International Law by Yanhong Annie Liu
Cover of the book Conservation Biology by Yanhong Annie Liu
Cover of the book Forensic Facial Reconstruction by Yanhong Annie Liu
Cover of the book The Cambridge Companion to English Novelists by Yanhong Annie Liu
Cover of the book Literature, Commerce, and the Spectacle of Modernity, 1750–1800 by Yanhong Annie Liu
Cover of the book Bayesian Methods for Ecology 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