Systematic program design : from clarity to efficiency /
"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...
Saved in:
| Online Access: |
Full text (MCPHS users only) |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
2013
|
| Subjects: | |
| Local Note: | ProQuest Ebook Central |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | in00000356762 | ||
| 006 | m o d | ||
| 007 | cr mn||||||||| | ||
| 008 | 130610s2013 enka ob 001 0 eng d | ||
| 005 | 20240725200528.5 | ||
| 010 | |a 2012047527 | ||
| 019 | |a 1066684719 |a 1107744570 |a 1109954681 |a 1111113597 |a 1117874594 |a 1153000488 |a 1171549559 |a 1171995675 |a 1259172420 | ||
| 020 | |a 9781107336919 |q (electronic bk.) | ||
| 020 | |a 1107336910 |q (electronic bk.) | ||
| 020 | |a 9781139567879 |q (electronic bk.) | ||
| 020 | |a 113956787X |q (electronic bk.) | ||
| 020 | |a 9781299838444 |q (electronic bk.) | ||
| 020 | |a 1299838448 |q (electronic bk.) | ||
| 020 | |a 9781107333598 |q (electronic bk.) | ||
| 020 | |a 1107333598 |q (electronic bk.) | ||
| 020 | |a 9781107335257 | ||
| 020 | |a 1107335256 | ||
| 020 | |z 9781107036604 |q (hardback) | ||
| 020 | |z 1107036607 |q (hardback) | ||
| 020 | |z 9781107610798 |q (paperback) | ||
| 020 | |z 1107610796 |q (paperback) | ||
| 029 | 1 | |a DEBSZ |b 431353697 | |
| 029 | 1 | |a NZ1 |b 15198328 | |
| 035 | |a (OCoLC)847521083 |z (OCoLC)1066684719 |z (OCoLC)1107744570 |z (OCoLC)1109954681 |z (OCoLC)1111113597 |z (OCoLC)1117874594 |z (OCoLC)1153000488 |z (OCoLC)1171549559 |z (OCoLC)1171995675 |z (OCoLC)1259172420 | ||
| 035 | |a (OCoLC)ocn847521083 | ||
| 040 | |a CAMBR |b eng |e rda |e pn |c CAMBR |d YDXCP |d EBLCP |d IDEBK |d COO |d N$T |d MEAUC |d OCLCF |d OSU |d OCLCQ |d DEBSZ |d OCLCQ |d HEBIS |d OCLCO |d UAB |d OCLCQ |d WYU |d OCLCQ |d AU@ |d LOA |d K6U |d VT2 |d OCLCQ |d OCLCA |d OCLCQ |d OCLCO |d AUW |d OCLCO |d UKAHL |d QGK |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ |d SFB | ||
| 050 | 4 | |a QA76.6 |b .L578 2013eb | |
| 072 | 7 | |a COM051010 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.1 |2 23 |
| 084 | |a COM051010 |2 bisacsh | ||
| 100 | 1 | |a Liu, Yanhong Annie, |d 1965- |e author. |1 https://id.oclc.org/worldcat/entity/E39PBJjXk9GpxqDBFHyYjQcQMP | |
| 245 | 1 | 0 | |a Systematic program design : |b from clarity to efficiency / |c Yanhong Annie Liu, Stony Brook University, State University of New York. |
| 264 | 1 | |a Cambridge : |b Cambridge University Press, |c 2013. | |
| 300 | |a 1 online resource (xv, 240 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 504 | |a Includes bibliographical references (pages 213-233) and index. | ||
| 505 | 0 | |a Loops: incrementalize -- Sets: incrementalize and implement -- Recursion: iterate and incrementalize -- Rules: iterate, incrementalize, and implement -- Objects: incrementalize across module abstraction. | |
| 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 | ||
| 546 | |a English. | ||
| 588 | 0 | |a Print version record. | |
| 590 | |a ProQuest Ebook Central |b Ebook Central College Complete | ||
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a System design. | |
| 650 | 7 | |a computer programming. |2 aat | |
| 655 | 0 | |a Electronic books. | |
| 758 | |i has work: |a Systematic program design (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFwgQckdQ76TtWyFvfJx6q |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Liu, Yanhong Annie, 1965- |t Systematic program design. |d Cambridge : Cambridge University Press, 2013 |z 9781107036604 |w (DLC) 2012047527 |w (OCoLC)813858574 |
| 852 | |b E-Collections |h ProQuest | ||
| 856 | 4 | 0 | |u https://ebookcentral.proquest.com/lib/mcphs/detail.action?docID=1139623 |z Full text (MCPHS users only) |t 0 |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH34207724 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1139623 | ||
| 938 | |a EBSCOhost |b EBSC |n 533822 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis26124962 | ||
| 938 | |a YBP Library Services |b YANK |n 11088764 | ||
| 938 | |a YBP Library Services |b YANK |n 11120128 | ||
| 938 | |a YBP Library Services |b YANK |n 10755635 | ||
| 938 | |a YBP Library Services |b YANK |n 11088563 | ||
| 947 | |a FLO |x pq-ebc-base | ||
| 999 | f | f | |s b79a9314-2bcf-44e9-a349-f1a6aa9eb977 |i ccf045c1-8229-4419-9d85-2570de941a99 |t 0 |
| 952 | f | f | |a Massachusetts College of Pharmacy and Health Sciences |b Online |c Online |d E-Collections |t 0 |e ProQuest |h Other scheme |
| 856 | 4 | 0 | |t 0 |u https://ebookcentral.proquest.com/lib/mcphs/detail.action?docID=1139623 |y Full text (MCPHS users only) |
