Systematic program design : from clarity to efficiency / Yanhong Annie Liu, Stony Brook University, State University of New York.

By:

Liu, Yanhong Annie, 1965- [author.]

Material type: Text

TextPublisher: Cambridge : Cambridge University Press, 2013Description: 1 online resource (xv, 240 pages) : illustrationsContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9781107336919
1107336910
9781139567879
113956787X
9781299838444
1299838448
9781107333598
1107333598
9781107335257
1107335256

Subject(s):

Genre/Form:

Additional physical formats: Print version:: Systematic program design.DDC classification:

005.1 23

LOC classification:

QA76.6 .L578 2013eb

Other classification:

COM051010

Online resources:

Click here to access online

Contents:

Loops: incrementalize -- Sets: incrementalize and implement -- Recursion: iterate and incrementalize -- Rules: iterate, incrementalize, and implement -- Objects: incrementalize across module abstraction.

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

Item type:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Collection	Call number	Materials specified	Status	Date due	Barcode
Electronic-Books	OPJGU Sonepat- Campus	E-Books EBSCO			Available

"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