000			02786nam a2200433 a 4500
001			EBC1139623
003			MiAaPQ
005			20240120134620.0
006			m o d |
007			cr cn|||||||||
008			130206s2013 enka sb 001 0 eng d
010			_z 2012047527
020			_z9781107036604 (hardback)
020			_z1107036607 (hardback)
020			_z9781107610798 (paperback)
020			_z1107610796 (paperback)
020			_a9781107333598 (electronic bk.)
035			_a(MiAaPQ)EBC1139623
035			_a(Au-PeEL)EBL1139623
035			_a(CaPaEBR)ebr10752995
035			_a(CaONFJC)MIL515095
035			_a(OCoLC)847521083
040			_aMiAaPQ _cMiAaPQ _dMiAaPQ
050		4	_aQA76.6 _b.L578 2013
082	0	4	_a005.1 _223
100	1		_aLiu, Yanhong Annie, _d1965-
245	1	0	_aSystematic program design _h[electronic resource] : _bfrom clarity to efficiency / _cYanhong Annie Liu.
260			_aCambridge : _bCambridge University Press, _c2013.
300			_axv, 240 p. : _bill.
504			_aIncludes bibliographical references (p. 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"-- _cProvided by publisher.
533			_aElectronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
650		0	_aComputer programming.
650		0	_aSystem design.
655		4	_aElectronic books.
710	2		_aProQuest (Firm)
856	4	0	_uhttps://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=1139623 _zClick to View
999			_c92982 _d92982