Systematic program design from clarity to efficiency
(eBook)
Author
Contributors
Published
Cambridge : Cambridge University Press, 2013.
Physical Desc
xv, 240 pages : ill.
Status
More Details
Format
eBook
Language
English
Notes
Bibliography
Includes bibliographical references (p. 213-233) and index.
Description
"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.
Reproduction
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Description
Loading Description...
Also in this Series
Checking series information...
Subjects
LC Subjects
Other Subjects
Citations
APA Citation, 7th Edition (style guide)
Liu, Y. A. (2013). Systematic program design: from clarity to efficiency . Cambridge University Press.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Liu, Yanhong Annie, 1965-. 2013. Systematic Program Design: From Clarity to Efficiency. Cambridge University Press.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Liu, Yanhong Annie, 1965-. Systematic Program Design: From Clarity to Efficiency Cambridge University Press, 2013.
MLA Citation, 9th Edition (style guide)Liu, Yanhong Annie. Systematic Program Design: From Clarity to Efficiency Cambridge University Press, 2013.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Grouped Work ID
7e0e3d37-7fdb-b47b-d1a9-41959ac8896f-eng
Grouping Information
| Grouped Work ID | 7e0e3d37-7fdb-b47b-d1a9-41959ac8896f-eng |
|---|---|
| Full title | systematic program design from clarity to efficiency |
| Author | liu yanhong annie |
| Grouping Category | book |
| Last Update | 2022-06-07 21:23:19PM |
| Last Indexed | 2024-05-25 04:16:47AM |
Book Cover Information
| Image Source | default |
|---|---|
| First Loaded | Aug 16, 2022 |
| Last Used | Dec 31, 2023 |
Marc Record
| First Detected | Aug 09, 2021 01:52:20 PM |
|---|---|
| Last File Modification Time | Nov 22, 2021 09:50:12 AM |
MARC Record
| LEADER | 03165nam a2200469 a 4500 | ||
|---|---|---|---|
| 001 | EBC1139623 | ||
| 003 | MiAaPQ | ||
| 006 | m E | | ||
| 007 | cr cn||||||||| | ||
| 008 | 130206s2013 enka sb 001 0 eng d | ||
| 010 | |z 2012047527 | ||
| 020 | |z 9781107036604 (hardback) | ||
| 020 | |z 1107036607 (hardback) | ||
| 020 | |z 9781107610798 (paperback) | ||
| 020 | |z 1107610796 (paperback) | ||
| 020 | |z 9781107333598 (e-book) | ||
| 035 | |a (Sirsi) EBC1139623 | ||
| 035 | |a (Sirsi) EBC1139623 | ||
| 035 | |a (MiAaPQ)EBC1139623 | ||
| 035 | |a (Au-PeEL)EBL1139623 | ||
| 035 | |a (CaPaEBR)ebr10752995 | ||
| 035 | |a (CaONFJC)MIL515095 | ||
| 035 | |a (OCoLC)847521083 | ||
| 040 | |a MiAaPQ|c MiAaPQ|d MiAaPQ | ||
| 050 | 4 | |a QA76.6|b .L578 2013 | |
| 082 | 0 | 4 | |a 005.1|2 23 |
| 100 | 1 | |a Liu, Yanhong Annie,|d 1965- | |
| 245 | 1 | 0 | |a Systematic program design|h [eBook] :|b from clarity to efficiency /|c Yanhong Annie Liu. |
| 260 | |a Cambridge :|b Cambridge University Press,|c 2013. | ||
| 300 | |a xv, 240 p. :|b ill. | ||
| 504 | |a Includes bibliographical references (p. 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. | |
| 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. | ||
| 533 | |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. | ||
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a System design. | |
| 655 | 4 | |a Electronic books. | |
| 710 | 2 | |a ProQuest (Firm) | |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yavapai-ebooks/detail.action?docID=1139623|x Yavapai College|y Yavapai College users click here to access |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/prescottcollege-ebooks/detail.action?docID=1139623|x Prescott College|y Prescott College users click here to access |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yln-ebooks/detail.action?docID=1139623|x Yavapai Library Network|y All other users click here to access |
| 945 | |a E-Book | ||
