LEADER 03193nam  22006252  450 
001 9910823265103321
005 20151005020622.0
010   $a1-107-33359-8
010   $a1-107-33525-6
010   $a1-107-61079-6
010   $a1-107-33691-0
010   $a1-139-56787-X
035   $a(CKB)3460000000128976
035   $a(EBL)1139623
035   $a(OCoLC)847521083
035   $a(SSID)ssj0000890268
035   $a(PQKBManifestationID)11523101
035   $a(PQKBTitleCode)TC0000890268
035   $a(PQKBWorkID)10884056
035   $a(PQKB)11310322
035   $a(UkCbUP)CR9781139567879
035   $a(MiAaPQ)EBC1139623
035   $a(Au-PeEL)EBL1139623
035   $a(CaPaEBR)ebr10752995
035   $a(CaONFJC)MIL515095
035   $a(PPN)261315714
035   $a(EXLCZ)993460000000128976
100   $a20120810d2013||||  uy|            0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aSystematic program design $efrom clarity to efficiency /$fYanhong Annie Liu, Stony Brook University, State University of New York$b[electronic resource]
210  1$aCambridge :$cCambridge University Press,$d2013.
215   $a1 online resource (xv, 240 pages) $cdigital, PDF file(s)
300   $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
311   $a1-107-03660-7 
311   $a1-107-32715-6 
320   $aIncludes bibliographical references (p. 213-233) and index.
327   $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.
330   $aA 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.
606   $aComputer programming
606   $aSystem design
615  0$aComputer programming.
615  0$aSystem design.
676   $a005.1
686   $aCOM051010$2bisacsh
700   $aLiu$b Yanhong Annie$f1965-$01123805
801  0$bUkCbUP
801  1$bUkCbUP
906   $aBOOK
912   $a9910823265103321
996   $aSystematic program design$94061375
997   $aUNINA