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 analysis...
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2013
|
| Links: | https://doi.org/10.1017/CBO9781139567879 |
| Zusammenfassung: | 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. |
| Umfang: | 1 Online-Ressource (xv, 240 Seiten) |
| ISBN: | 9781139567879 |
Internformat
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-20-CTM-CR9781139567879 | ||
| 003 | UkCbUP | ||
| 005 | 20151005020622.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 120810s2013||||enk o ||1 0|eng|d | ||
| 020 | |a 9781139567879 | ||
| 100 | 1 | |a Liu, Yanhong Annie |d 1965- | |
| 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-Ressource (xv, 240 Seiten) | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 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. | ||
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781107036604 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781107610798 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/CBO9781139567879 |3 Volltext |
| 912 | |a ZDB-20-CTM | ||
| 912 | |a ZDB-20-CTM | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-20-CTM-CR9781139567879 |
|---|---|
| _version_ | 1825574051068772352 |
| adam_text | |
| any_adam_object | |
| author | Liu, Yanhong Annie 1965- |
| author_facet | Liu, Yanhong Annie 1965- |
| author_role | |
| author_sort | Liu, Yanhong Annie 1965- |
| author_variant | y a l ya yal |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-20-CTM |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01788nam a2200253 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9781139567879</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20151005020622.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">120810s2013||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139567879</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="b">from clarity to efficiency</subfield><subfield code="c">Yanhong Annie Liu, Stony Brook University, State University of New York</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><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">1 Online-Ressource (xv, 240 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781107036604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781107610798</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/CBO9781139567879</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-20-CTM-CR9781139567879 |
| illustrated | Not Illustrated |
| indexdate | 2025-03-03T11:58:05Z |
| institution | BVB |
| isbn | 9781139567879 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xv, 240 Seiten) |
| psigel | ZDB-20-CTM TUM_PDA_CTM ZDB-20-CTM |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Liu, Yanhong Annie 1965- Systematic program design from clarity to efficiency Yanhong Annie Liu, Stony Brook University, State University of New York Cambridge Cambridge University Press 2013 1 Online-Ressource (xv, 240 Seiten) txt c cr 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. Erscheint auch als Druck-Ausgabe 9781107036604 Erscheint auch als Druck-Ausgabe 9781107610798 |
| spellingShingle | Liu, Yanhong Annie 1965- Systematic program design from clarity to efficiency |
| title | Systematic program design from clarity to efficiency |
| title_auth | Systematic program design from clarity to efficiency |
| title_exact_search | Systematic program design from clarity to efficiency |
| title_full | Systematic program design from clarity to efficiency Yanhong Annie Liu, Stony Brook University, State University of New York |
| title_fullStr | Systematic program design from clarity to efficiency Yanhong Annie Liu, Stony Brook University, State University of New York |
| title_full_unstemmed | Systematic program design from clarity to efficiency Yanhong Annie Liu, Stony Brook University, State University of New York |
| title_short | Systematic program design |
| title_sort | systematic program design from clarity to efficiency |
| title_sub | from clarity to efficiency |
| work_keys_str_mv | AT liuyanhongannie systematicprogramdesignfromclaritytoefficiency |