Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge :
Cambridge University Press,
2013.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn847521083 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr mn||||||||| | ||
| 008 | 130610s2013 enka ob 001 0 eng d | ||
| 010 | |a 2012047527 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 049 | |a UAMI | ||
| 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 | ||
| 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 | ||
| 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. | |
| 588 | 0 | |a Print version record. | |
| 546 | |a English. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a System design. | |
| 650 | 6 | |a Programmation (Informatique) | |
| 650 | 6 | |a Conception de systèmes. | |
| 650 | 7 | |a computer programming. |2 aat | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x General. |2 bisacsh | |
| 650 | 7 | |a Computer programming |2 fast | |
| 650 | 7 | |a System design |2 fast | |
| 650 | 7 | |a Systementwurf |2 gnd | |
| 650 | 7 | |a Programmierung |2 gnd | |
| 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 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1139623 |z Texto completo |
| 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 | ||
| 994 | |a 92 |b IZTAP | ||