Systematic program design : from clarity to efficiency / by Yanhong Annie Liu

By: Liu, Yanhong Annie, 1965-Material type: TextTextPublication details: Cambridge : Cambridge University Press, 2013Description: vii, 240 p. : ill.; 23 cmISBN: 9781107036604 (pbk); 9781107610798 (pbk)Subject(s): Computer programming | System design | COMPUTERS / Programming Languages / GeneralDDC classification: 005.1
Contents:
1. 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.
Summary: "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"-- Provided by publisher.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books Books Namal Library
Computer Science 		005.1 LIU-S 2013 4435 (Browse shelf (Opens below)) Available 0004435
Total holds: 0

Includes bibliographical references (pages 213-233) and index.

1. 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.

"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"-- Provided by publisher.

There are no comments on this title.

to post a comment.