Systematic Program Design : From Clarity to Efficiency - Yanhong Annie Liu

Systematic Program Design

From Clarity to Efficiency

By: Yanhong Annie Liu

Paperback | 20 May 2013

At a Glance

Paperback


RRP $83.95

$77.75

or 4 interest-free payments of $19.44 with

 or 

Ships in 15 to 25 business days

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.
Industry 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
'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

More in Programming & Scripting Languages

Python Using GPT-5 and Gemini - Oswald Campesato
Introduction to Programming Languages - Gordon Hurley
The C Programming Language : Prentice Hall Software - Dennis Ritchie

RRP $107.04

$75.75

29%
OFF
The Practical Guide : The Practical Guide - Kerem Koseoglu
Coding For Dummies, All New Edition : For Dummies (Computer/Tech) - Paul McFedries
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$55.75

26%
OFF
Python & AI For Dummies - John C. Shovic

RRP $57.95

$44.75

23%
OFF
Python Cookbook : Recipes for Mastering Python : 3rd Edition - David Beazley
Learning Python 6th Edition : Powerful Object-Oriented Programming - Mark Lutz
PHP, MySQL, & JavaScript All-In-One For Dummies : For Dummies - Richard Blum
C++ How to Program, Global Edition : 10th Edition - Paul Deitel

RRP $167.95

$133.75

20%
OFF
Problem Solving and Program Design in C, Global Edition : 8th Edition - Jeri Hanly
The C++ Programming Language - Bjarne Stroustrup

RRP $117.91

$89.99

24%
OFF