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 Grand Strategy in Theory and Practice by Yanhong Annie Liu
Cover of the book The Structure and Performance of Euripides' Helen by Yanhong Annie Liu
Cover of the book Evidence and Faith by Yanhong Annie Liu
Cover of the book Financial Enterprise Risk Management by Yanhong Annie Liu
Cover of the book District Laboratory Practice in Tropical Countries, Part 2 by Yanhong Annie Liu
Cover of the book Dilemmas by Yanhong Annie Liu
Cover of the book Einstein's Opponents by Yanhong Annie Liu
Cover of the book The Mammalian Jaw by Yanhong Annie Liu
Cover of the book Building Democracy in Japan by Yanhong Annie Liu
Cover of the book A Philosophical Guide to Chance by Yanhong Annie Liu
Cover of the book Dinosaurs by Yanhong Annie Liu
Cover of the book The Two Gentlemen of Verona by Yanhong Annie Liu
Cover of the book US Energy Policy and the Pursuit of Failure by Yanhong Annie Liu
Cover of the book Formulas of the Moral Law by Yanhong Annie Liu
Cover of the book Absolute Constructions in Early Indo-European 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