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 Self-Organizing Federalism by Yanhong Annie Liu
Cover of the book Complex Contracting by Yanhong Annie Liu
Cover of the book Psychology and Law by Yanhong Annie Liu
Cover of the book String Theory: Volume 2, Superstring Theory and Beyond by Yanhong Annie Liu
Cover of the book Must We Mean What We Say? by Yanhong Annie Liu
Cover of the book Columbarium Tombs and Collective Identity in Augustan Rome by Yanhong Annie Liu
Cover of the book Voting Behavior in Indonesia since Democratization by Yanhong Annie Liu
Cover of the book Anthropology and Development by Yanhong Annie Liu
Cover of the book Methods in Molecular Biophysics by Yanhong Annie Liu
Cover of the book The New Economics of Inequality and Redistribution by Yanhong Annie Liu
Cover of the book The Politics of Crisis Management by Yanhong Annie Liu
Cover of the book Reduplication by Yanhong Annie Liu
Cover of the book Improving Homeland Security Decisions by Yanhong Annie Liu
Cover of the book Multiple True False Questions for the Final FFICM by Yanhong Annie Liu
Cover of the book Shakespeare, Love and Language 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