Systematic program design : from clarity to efficiency /

Systematic program design : from clarity to efficiency / / Yanhong Annie Liu.

"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 ana...

Full description

Saved in:
Bibliographic Details
:
ProQuest (Firm)
Liu, Yanhong Annie, 1965-
TeilnehmendeR:
ProQuest (Firm)
Year of Publication:2013
Language:English
Online Access:
Physical Description:xv, 240 p. :; ill.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5001139623
ctrlnum (MiAaPQ)5001139623
(Au-PeEL)EBL1139623
(CaPaEBR)ebr10752995
(CaONFJC)MIL515095
(OCoLC)847521083
collection bib_alma
record_format marc
spelling Liu, Yanhong Annie, 1965-
Systematic program design [electronic resource] : from clarity to efficiency / Yanhong Annie Liu.
Cambridge : Cambridge University Press, 2013.
xv, 240 p. : ill.
Includes bibliographical references (p. 213-233) and index.
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.
"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.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Computer programming.
System design.
Electronic books.
ProQuest (Firm)
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1139623 Click to View
language English
format Electronic
eBook
author Liu, Yanhong Annie, 1965-
spellingShingle Liu, Yanhong Annie, 1965-
Systematic program design from clarity to efficiency /
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.
author_facet Liu, Yanhong Annie, 1965-
ProQuest (Firm)
ProQuest (Firm)
author_variant y a l ya yal
author2 ProQuest (Firm)
author2_role TeilnehmendeR
author_corporate ProQuest (Firm)
author_sort Liu, Yanhong Annie, 1965-
title Systematic program design from clarity to efficiency /
title_sub from clarity to efficiency /
title_full Systematic program design [electronic resource] : from clarity to efficiency / Yanhong Annie Liu.
title_fullStr Systematic program design [electronic resource] : from clarity to efficiency / Yanhong Annie Liu.
title_full_unstemmed Systematic program design [electronic resource] : from clarity to efficiency / Yanhong Annie Liu.
title_auth Systematic program design from clarity to efficiency /
title_new Systematic program design
title_sort systematic program design from clarity to efficiency /
publisher Cambridge University Press,
publishDate 2013
physical xv, 240 p. : ill.
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.
isbn 9781107333598 (electronic bk.)
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.6 L578 42013
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1139623
illustrated Illustrated
dewey-hundreds 000 - Computer science, information & general works
dewey-tens 000 - Computer science, knowledge & systems
dewey-ones 005 - Computer programming, programs & data
dewey-full 005.1
dewey-sort 15.1
dewey-raw 005.1
dewey-search 005.1
oclc_num 847521083
work_keys_str_mv AT liuyanhongannie systematicprogramdesignfromclaritytoefficiency
AT proquestfirm systematicprogramdesignfromclaritytoefficiency
status_str n
ids_txt_mv (MiAaPQ)5001139623
(Au-PeEL)EBL1139623
(CaPaEBR)ebr10752995
(CaONFJC)MIL515095
(OCoLC)847521083
is_hierarchy_title Systematic program design from clarity to efficiency /
author2_original_writing_str_mv noLinkedField
_version_ 1792330747599650816
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02752nam a2200421 a 4500</leader><controlfield tag="001">5001139623</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">130206s2013 enka sb 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2012047527</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781107036604 (hardback)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1107036607 (hardback)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781107610798 (paperback)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1107610796 (paperback)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107333598 (electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5001139623</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL1139623</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10752995</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL515095</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)847521083</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.6</subfield><subfield code="b">.L578 2013</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Liu, Yanhong Annie,</subfield><subfield code="d">1965-</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Systematic program design</subfield><subfield code="h">[electronic resource] :</subfield><subfield code="b">from clarity to efficiency /</subfield><subfield code="c">Yanhong Annie Liu.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2013.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 240 p. :</subfield><subfield code="b">ill.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 213-233) and index.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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"--</subfield><subfield code="c">Provided by publisher.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer programming.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">System design.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1139623</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items