000			03060nam a22005055i 4500
001			978-94-91216-65-7
003			DE-He213
005			20140220083350.0
007			cr nn 008mamaa
008			120611s2012 fr | s |||| 0|eng d
020			_a9789491216657 _9978-94-91216-65-7
024	7		_a10.2991/978-94-91216-65-7 _2doi
050		4	_aQA75.5-76.95
072		7	_aUYZG _2bicssc
072		7	_aCOM037000 _2bisacsh
082	0	4	_a004.0151 _223
100	1		_aBergstra, Jan A. _eauthor.
245	1	0	_aInstruction Sequences for Computer Science _h[electronic resource] / _cby Jan A. Bergstra, Cornelis A. Middelburg.
264		1	_aParis : _bAtlantis Press : _bImprint: Atlantis Press, _c2012.
300			_aXVI, 229 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aAtlantis Studies in Computing, _x2212-8557 ; _v2
505	0		_aIntroduction -- Instruction Sequences -- Instruction Processing -- Expressiveness of Instruction Sequences -- Computation-Theoretic Issues -- Computer-Architectural Issues -- Instruction Sequences and Process Algebra -- Variations on a Theme -- Appendix A: Five Challenges for Projectionism -- Appendix B: Natural Number Functional Units -- Appendix C: Dynamically Instantiated Instructions -- Appendix D: Analytic Execution Architectures.
520			_aThis book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investigated thinking in terms of a common model of computation such as Turing machines and Boolean circuits. The subjects from the area of computer architecture, to wit instruction sequence performance, instruction set architectures and remote instruction processing, are usually not investigated in a rigorous way at all.
650		0	_aComputer science.
650		0	_aComputer network architectures.
650		0	_aLogic design.
650	1	4	_aComputer Science.
650	2	4	_aComputation by Abstract Devices.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aMathematical Logic and Formal Languages.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aComputer Systems Organization and Communication Networks.
700	1		_aMiddelburg, Cornelis A. _eauthor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9789491216640
830		0	_aAtlantis Studies in Computing, _x2212-8557 ; _v2
856	4	0	_uhttp://dx.doi.org/10.2991/978-94-91216-65-7
912			_aZDB-2-SMA
999			_c105007 _d105007