Systematic program design : from clarity to efficiency / by Yanhong Annie Liu
Material type: TextPublication 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.1Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Namal Library Computer Science | 005.1 LIU-S 2013 4435 (Browse shelf (Opens below)) | Available | 0004435 |
Browsing Namal Library shelves, Shelving location: Computer Science Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
005.1 LAS-D 2006 1068 Design patterns / | 005.1 LEV-I 2004 10343 Introduction to the design & analysis of algorithms / | 005.1 LEV-I 2007 3370 Introduction to the design & analysis of algorithms / | 005.1 LIU-S 2013 4435 Systematic program design : | 005.1 LOF-D 1995 1719 Distributed software engineering / | 005.1 MAL-F 2013 4541 Fundamentals of software engineering / | 005.1 MAT-O 2012 3923 Object-oriented analysis and design using UML : |
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.