About this product

Product Identifiers

PublisherCambridge University Press

ISBN-101107610796

ISBN-139781107610798

eBay Product ID (ePID)143632138

Product Key Features

Number of Pages253 Pages

Publication NameSystematic Program Design : from Clarity to Efficiency

LanguageEnglish

Publication Year2013

SubjectProgramming Languages / General, General

TypeTextbook

Subject AreaComputers

AuthorYanhong Annie Liu

FormatTrade Paperback

Dimensions

Item Height0.6 in

Item Weight15.2 Oz

Item Length9.3 in

Item Width6.1 in

Additional Product Features

Intended AudienceScholarly & Professional

LCCN2012-047527

Dewey Edition23

Reviews"It will prove very useful for graduate students who wish to start their literature review with a comprehensive example of the state of the art in formal methods, and it is an excellent platform for self-directed learning. This well-structured, comprehensive book reflects the author's experience and strong background in the field. Highly recommended." L. Benedicenti, Choice, 'As an experienced programmer and educator, I have to admit, I felt deep enjoyment while reading this book. It was a pleasant experience.' M. M. Tanik, Computing Reviews, "As an experienced programmer and educator, I have to admit, I felt deep enjoyment while reading this book. It was a pleasant experience." M. M. Tanik, Computing Reviews

IllustratedYes

Dewey Decimal005.1

Table Of Content1. Introduction; 2. Loops: incrementalize; 3. Sets: incrementalize and implement; 4. Recursion: iterate and incrementalize; 5. Rules: iterate, incrementalize, and implement; 6. Objects: incrementalize across module abstraction; 7. Conclusion.

SynopsisA 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., 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., 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.

LC Classification NumberQA76.6