Tools

LEADER 03360nam 2200505 i 4500

001 ssj0000890268;

003 WaSeSS;

005 20190712081240.0;

006 m d ;

007 cr n ;

008 130206s2013 enka sb 001 0 eng d;

010 a| 2012047527;

020 a| 9781107036604 (hardback);

020 a| 1107036607 (hardback);

020 a| 9781107610798 (paperback);

020 a| 1107610796 (paperback);

035 a| (WaSeSS)ssj0000890268;

042 a| pcc;

049 a| EREEa| NEHH;

050 00 a| QA76.6b| .L578 2013;

082 00 a| 005.12| 23;

084 a| COM0510102| bisacsh;

100 1 a| Liu, Yanhong Annie,d| 1965-?| UNAUTHORIZED;

245 10 a| Systematic program designh| [electronic resource] :b| from clarity to efficiency /c| Yanhong Annie Liu, Stony Brook University, State University of New York.;

260 a| Cambridge :b| Cambridge University Press,c| 2013.;

300 a| xv, 240 pages :b| illustrations ;c| 25 cm;

504 a| Includes bibliographical references (pages 213-233) and index.;

505 8 a| Machine generated contents note: 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.;

506 a| Available only to authorized users.;

520 a| "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"--c| Provided by publisher.;

538 a| Mode of access: World Wide Web;

650 0 a| Computer programming.=| ^A33242;

650 0 a| System design.=| ^A123910;

650 7 a| COMPUTERS / Programming Languages / General.2| bisacsh;

655 0 a| Electronic books.=| ^A491897;

856 40 z| Full text available from Ebook Central - Academic Completeu| https://ebookcentral.proquest.com/lib/eastcarolina/detail.action?docID=1139623;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 5148356;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 5148356-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 8/8/2019x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 5148356-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 8/8/2019x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 5148356-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 8/8/2019x| EBOOKz| JERESOURCE;

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

Author/creator	Liu, Yanhong Annie, 1965-
Format	Electronic
Publication Info	Cambridge : Cambridge University Press, 2013.
Description	xv, 240 pages : illustrations ; 25 cm
Supplemental Content	Full text available from Ebook Central - Academic Complete
Subjects	Computer programming. System design.

Contents	Machine generated contents note: 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.
Abstract	"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.
Bibliography note	Includes bibliographical references (pages 213-233) and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2012047527
ISBN	9781107036604 (hardback)
ISBN	1107036607 (hardback)
ISBN	9781107610798 (paperback)
ISBN	1107610796 (paperback)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

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

Click here for more information about this title

Availability