| 000 | 02362cam a2200325 i 4500 | ||
|---|---|---|---|
| 001 | 7178 | ||
| 005 | 20250127123019.0 | ||
| 008 | 130206s2013 enka b 001 0 eng | ||
| 020 | _a9781107036604 (hardback) | ||
| 020 | _a1107036607 (hardback) | ||
| 020 | _a9781107610798 (paperback) | ||
| 020 | _a1107610796 (paperback) | ||
| 040 |
_aDLC _beng _cDLC _erda _dDLC _dIQ-MoCLU |
||
| 082 | 0 | 0 |
_a005.1 _223 _bL783 |
| 100 | 1 |
_aLiu, Yanhong Annie, _d1965- _eAuthor. |
|
| 245 | 1 | 0 |
_aSystematic program design : _bfrom clarity to efficiency / _cYanhong Annie Liu, Stony Brook University, State University of New York. |
| 264 | 1 |
_aCambridge : _bCambridge University Press, _c2013. |
|
| 300 |
_axv, 240 pages : _billustrations ; _c25 cm |
||
| 336 |
_atext _2rdacontent |
||
| 337 |
_aunmediated _2rdamedia |
||
| 338 |
_avolume _2rdacarrier |
||
| 504 | _aIncludes bibliographical references (pages 213-233) and index. | ||
| 505 | 8 | _aMachine 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"-- | ||
| 650 | 0 | _aComputer programming. | |
| 650 | 0 | _aSystem design. | |
| 650 | 7 |
_aCOMPUTERS / Programming Languages / General. _2bisacsh |
|
| 910 | _asaja | ||
| 942 |
_2ddc _cBK _n0 |
||
| 999 |
_c7178 _d7178 |
||