000			02094nam a22003257a 4500
001			sulb-eb0015842
003			BD-SySUS
005			20160405134446.0
008			120810s2013||||enk o ||1 0|eng|d
020			_a9781139567879 (ebook)
020			_z9781107036604 (hardback)
020			_z9781107610798 (paperback)
040			_aUkCbUP _beng _erda _cUkCbUP
050	0	0	_aQA76.6 _b.L578 2013
082	0	0	_a005.1 _223
100	1		_aLiu, Yanhong Annie, _eauthor.
245	1	0	_aSystematic Program Design : _bFrom Clarity to Efficiency / _cYanhong Annie Liu.
264		1	_aCambridge : _bCambridge University Press, _c2013.
300			_a1 online resource (253 pages) : _bdigital, PDF file(s).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
500			_aTitle from publisher's bibliographic system (viewed on 04 Apr 2016).
520			_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.
650		0	_aComputer programming
650		0	_aSystem design
776	0	8	_iPrint version: _z9781107036604
856	4	0	_uhttp://dx.doi.org/10.1017/CBO9781139567879
942			_2Dewey Decimal Classification _ceBooks
999			_c37686 _d37686