Instruction Sequences for Computer Science
Middelburg, Cornelis A. / Bergstra, Jan A![Instruction Sequences for Computer Science](https://support.digitalhusky.com/media/annotations/sorted/131/13168102/CHSBZCOP0313168102.jpg)
This 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-un...